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
