From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andreas Enge Subject: Re: [PATCH] gnu: Add docbook-xml-4.2 Date: Sun, 2 Nov 2014 18:35:43 +0100 Message-ID: <20141102173543.GA6865@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]:39869) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xkz4F-0004rV-On for guix-devel@gnu.org; Sun, 02 Nov 2014 12:36:03 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Xkz48-0004ir-B2 for guix-devel@gnu.org; Sun, 02 Nov 2014 12:35:55 -0500 Received: from mout.kundenserver.de ([212.227.126.131]:54943) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Xkz48-0004ij-0q for guix-devel@gnu.org; Sun, 02 Nov 2014 12:35:48 -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: Federico Beffa Cc: Guix-devel On Sun, Nov 02, 2014 at 06:26:59PM +0100, Federico Beffa wrote: > Add version 4.2. It is needed by dconf. This looks very safe (although we will end up with four versions of it!). Andreas