Marc Nieper-Wißkirchen wrote: > > This is fixed now. > > > > What about the shell-based gnulib tool? Or should I consider that one > deprecated?
Yes. The shell-based implementation does not receive all bug-fixes and improvements any more, and is deprecated. Bruno
