Re: gnulib-tool --extract-filelist whitespace diff fix

[Collin Funk]

Hi Bruno,

On 3/21/24 8:50 AM, Bruno Haible wrote:
> Thanks, applied. With a small tweak in main.py, to make the 3 added files
> more symmetric:

Looks good. I was conflicted on whether or not to do this in the
original patch.

Collin