Re: license: comma or semicolon?

[Bruno Haible]

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 have no objection.

> I'm reluctant because that will most probably also change files auto-updated
> from other projects.

No problem; in that case, Karl's autoupdate will revert these particular files
within 24 hours.

Bruno