From mboxrd@z Thu Jan 1 00:00:00 1970 From: Leo Famulari Subject: Re: [PATCH] gnu: Add supertux. Date: Mon, 1 Aug 2016 20:43:20 -0400 Message-ID: <20160802004320.GA15847@jasmine> References: <5851a0f3-fb9d-4d56-482b-105c5029d1bb@cock.li> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51060) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bUNo2-0007yx-Pv for guix-devel@gnu.org; Mon, 01 Aug 2016 20:43:39 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1bUNnz-0006oQ-JJ for guix-devel@gnu.org; Mon, 01 Aug 2016 20:43:38 -0400 Received: from out5-smtp.messagingengine.com ([66.111.4.29]:44929) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1bUNnx-0006ia-0k for guix-devel@gnu.org; Mon, 01 Aug 2016 20:43:35 -0400 Content-Disposition: inline In-Reply-To: <5851a0f3-fb9d-4d56-482b-105c5029d1bb@cock.li> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: nee Cc: guix-devel@gnu.org On Mon, Aug 01, 2016 at 08:28:28PM +0200, nee wrote: > Hello, if I did everything right, this should add the supertux 2D > platformer game. > Subject: [PATCH] gnu: Add supertux. Thanks for this contribution! The opening scene was too scary, I had to stop playing ;) I looked at the source files in 'src/', and the license headers include the text "version 3 of the License, or (at your option) any later version". So, I changed the license from gpl3 to gpl3+ and pushed as 826a3ca22.