From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [PATCH] gnu: Add CLIPper. Date: Sat, 28 Feb 2015 15:22:43 +0100 Message-ID: <20150228142243.GB7549@debian> References: Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53348) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YRiIF-0001Px-4I for guix-devel@gnu.org; Sat, 28 Feb 2015 09:22:59 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YRiIA-00063w-5c for guix-devel@gnu.org; Sat, 28 Feb 2015 09:22:59 -0500 Received: from mout.kundenserver.de ([212.227.126.187]:57969) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YRiI9-00063o-QI for guix-devel@gnu.org; Sat, 28 Feb 2015 09:22:54 -0500 Content-Disposition: inline In-Reply-To: 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-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: Ricardo Wurmus Cc: Guix-devel Okay to push. Andreas