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


From: Collin Funk
Subject: Re: [PATCH] gnulib-tool.py: Follow gnulib-tool changes, part 63.
Date: Sun, 17 Mar 2024 18:38:43 -0700
User-agent: Mozilla Thunderbird

On 3/17/24 6:31 PM, Bruno Haible wrote:
> Well, one can also see it the other way around: With single quotes
> everywhere, it's more consistent.

LOL, fair enough.

> Feel free to find more arguments for one or the other. I'm undecided,
> but it would be a major change, so one should think about it for a while
> first.

Sure, I'm not in a rush to make the change. Maybe someone else on the
list will have strong feelings on the topic and will try to convince
us. :)

Collin




reply via email to

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