bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 41.


From: Bruno Haible
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 41.
Date: Wed, 06 Mar 2024 03:36:00 +0100

Collin Funk wrote:
> I've attached a patch that uses the condition:
> 
>      if dictionary['var'] == 'SUBDIRS' and dictionary['dotfirst']:
> 
> which should match the original commit.

Yes, this looks good. Applied; thanks!

Bruno






reply via email to

[Prev in Thread] Current Thread [Next in Thread]