Subject: Re: bug#59664: [PATCH] gnu: Add tuxedo-keyboard.
From: Ludovic Courtès <[email-masked]>
To: Demis Balbach <[email-masked]>
Cc: [email-masked]
Date: Mon, 05 Dec 2022 17:39:38 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Demis Balbach <[email-masked]> skribis:

> * gnu/packages/linux.scm (tuxedo-keyboard): New variable.

[...]

> +    (license license:gpl3)))

Change it to ‘gpl3+’ because source file headers carry the “or any later
version” wording.

Thanks,
Ludo’.