Paul Eggert wrote: > Thanks, I installed that into Gnulib and I expect it'll percolate into > apps in due course.
I propagated it also to the two stable branches of Gnulib [1][2]. Bruno [1] https://lists.gnu.org/archive/html/bug-gnulib/2023-01/msg00001.html [2] https://git.savannah.gnu.org/gitweb/?p=gnulib.git;a=heads
