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 64.


From: Collin Funk
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 64.
Date: Mon, 18 Mar 2024 09:02:36 -0700
User-agent: Mozilla Thunderbird

Hi Bruno,

On 3/18/24 4:05 AM, Bruno Haible wrote:
> Thanks a lot. Yes, things get tricky if, after after some refactoring, the
> function names don't fit the semantics any more.

Yeah, how we have it now should match gnulib-tool.sh, but the naming
is a bit misleading. I'll keep it in the back of my head and maybe
eventually I will think of a good solution.

> I've applied your patch, together with a comment update:

I was about to fix the docstring right before I noticed the issues. I
forgot to come back and fix it. Thanks for fixing that.

Collin



reply via email to

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