Subject: Re: [bug#37718] [PATCH] Add gnome-mahjongg.

From: Ludovic Courtès <[email-masked]>
Date: Tue, 15 Oct 2019 14:20:14 +0200

Oops, and this change too:

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index 99cd7a7cb6..81cb2fb37f 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -8432,4 +8432,4 @@ higher level porcelain stuff.")
 tile-matching game Mahjong.  It features multiple board layouts, tile themes,
 and a high score table.")
     (home-page "https://wiki.gnome.org/Apps/Mahjongg")
-    (license license:gpl2)))
+    (license license:gpl2+)))

… because source file headers carry the “or any later version” wording.

Ludo’.