Collin Funk wrote: > Hopefully no other bug reports for gnulib-tool.py since the info-gnu > announcement other than the one I just patched is a good sign? :)
Yes, it's a good sign, and most probably a consequence of the testing with various packages [1][2] that we did. Bruno [1] https://lists.gnu.org/archive/html/bug-gnulib/2024-04/msg00101.html [2] https://lists.gnu.org/archive/html/bug-gnulib/2024-04/msg00171.html
