Re: license: comma or semicolon?

[Dmitry V. Levin]

On Tue, Jan 04, 2022 at 12:28:34AM +0100, Bernhard Voelker wrote:
> On 1/3/22 01:17, Mike Frysinger wrote:
> > according to gnu.org, it should be a comma.
> > https://www.gnu.org/licenses/gpl-3.0.html#howto
> 
> The attached would change it, and shows how the change was done:
> 
>   Subject: [PATCH] license: fix GPLv3 texts to use a comma instead of 
> semicolon.
> 
>   See: https://www.gnu.org/licenses/gpl-3.0.html#howto
>   Run:
>     $ git grep -l 'Foundation; either version 3' \
>         | xargs sed -i '/Foundation; either version 3/ s/n; e/n, e/'
> 
>   * All files using GPLv3: Adjust via the above command.
> 
> I'm reluctant because that will most probably also change files auto-updated
> from other projects.

Just for the record, I've applied the following patch to GNU config
in your name about two weeks ago:
https://git.savannah.gnu.org/cgit/config.git/commit/?id=03087cbd5161db0ff94e578b02d318d0bba2742d


-- 
ldv