From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=)
Subject: Re: [PATCH] gnu: Add Hugs.
Date: Mon, 06 May 2013 23:16:00 +0200
Message-ID: <87a9o7x10v.fsf@gnu.org>
References: <87bo8vpmrh.fsf@karetnikov.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([208.118.235.92]:53999)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1UZSlY-0000Yh-7p
	for bug-guix@gnu.org; Mon, 06 May 2013 17:16:13 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1UZSlW-0007aW-Cj
	for bug-guix@gnu.org; Mon, 06 May 2013 17:16:12 -0400
Received: from [2a01:e0b:1:123:ca0a:a9ff:fe03:271e] (port=33404
	helo=xanadu.aquilenet.fr) by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1UZSlW-0007Xb-7E
	for bug-guix@gnu.org; Mon, 06 May 2013 17:16:10 -0400
In-Reply-To: <87bo8vpmrh.fsf@karetnikov.org> (Nikita Karetnikov's message of
	"Wed, 01 May 2013 04:27:46 +0400")
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: Nikita Karetnikov <nikita@karetnikov.org>
Cc: bug-guix@gnu.org

Looks good to me!

Ludo=E2=80=99.