Paul Eggert wrote: > > Probably. I don't know whether any non-Android systems exist where > > __ANDROID_API__ is defined. > > I think it unlikely
Yes, very unlikely. > Could you please review and try the attached patch? Thanks. The patch looks good to me, except that we need to hear from Po Lu whether problem #1, as mentioned in my other mail <https://lists.gnu.org/archive/html/bug-gnulib/2025-04/msg00185.html>, is intended. Bruno
