Hi Bruno, On 3/13/24 5:55 AM, Bruno Haible wrote: > Yes, you can write to bug-standards. Be sure to include the history, > from <https://lists.gnu.org/archive/html/bug-gnulib/2022-01/msg00027.html>.
Done, thanks. I'll just remove that commit from gnulib-tool.py.TODO next time I submit a patch. Collin
