|
| From: | Bruno Haible |
| Subject: | Re: [PATCH 1/2] gnulib-tool.py: Follow gnulib-tool changes, part 41. |
| Date: | Wed, 06 Mar 2024 00:08:20 +0100 |
Hi Collin, > After that we get the following diff: This is much nicer indeed. I have applied the 0002-* patch. Bruno
| [Prev in Thread] | Current Thread | [Next in Thread] |