|
| From: | Bruno Haible |
| Subject: | Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 57. |
| Date: | Fri, 15 Mar 2024 08:34:05 +0100 |
Collin Funk wrote: > Oops, in the commit before I added some comments directly from > gnulib-tool to main.py as well. Feel free to change them No hurry, no problem. Such comments can stay as they are, in the short term. Bruno
| [Prev in Thread] | Current Thread | [Next in Thread] |