Hi,

The problem was fixed in the mean time:

  
http://git.sv.gnu.org/cgit/gnulib.git/commit/?id=21a2a33e06810921f68b66061a255fc07a472502

Thanks,
Ludo’.


Reply via email to