From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andreas Enge <andreas@enge.fr>
Subject: bug#15104: Fixed
Date: Tue, 10 Dec 2013 22:24:40 +0100
Message-ID: <20131210212440.GA10061@debian>
References: <871u5vc808.fsf@gnu.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:35876)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1VqUnn-0007tn-7b
	for bug-guix@gnu.org; Tue, 10 Dec 2013 16:25:18 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1VqUnf-0006Kh-Uf
	for bug-guix@gnu.org; Tue, 10 Dec 2013 16:25:11 -0500
Received: from debbugs.gnu.org ([140.186.70.43]:56481)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1VqUnf-0006K7-SR
	for bug-guix@gnu.org; Tue, 10 Dec 2013 16:25:03 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1VqUnf-0000l2-6v
	for bug-guix@gnu.org; Tue, 10 Dec 2013 16:25:03 -0500
In-Reply-To: <871u5vc808.fsf@gnu.org>
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-To: bug-guix@gnu.org
Resent-Message-ID: <handler.15104.D15104.13867106882882.done@debbugs.gnu.org>
Content-Disposition: inline
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: 15104-done@debbugs.gnu.org

Fixed in 418e82b50751fa4a0431482adabdd27344687497.

Andreas