GNU bug report logs - #37718
[PATCH] Add gnome-mahjongg.

Previous Next

Full log

Message #13 received at 37718 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: "David Wilson" <david <at> daviwil.com>
Cc: 37718 <at> debbugs.gnu.org
Subject: Re: [bug#37718] [PATCH] Add gnome-mahjongg.
Date: Tue, 15 Oct 2019 14:20:14 +0200

[Message part 1 (text/plain, inline)]

Oops, and this change too:

[Message part 2 (text/x-patch, inline)]

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+)))

[Message part 3 (text/plain, inline)]

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

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.