Hi, The problem was fixed in the mean time:
http://git.sv.gnu.org/cgit/gnulib.git/commit/?id=21a2a33e06810921f68b66061a255fc07a472502 Thanks, Ludo’.
Hi, The problem was fixed in the mean time:
http://git.sv.gnu.org/cgit/gnulib.git/commit/?id=21a2a33e06810921f68b66061a255fc07a472502 Thanks, Ludo’.