From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field. Date: Thu, 10 May 2018 22:30:57 +0200 Message-ID: <87o9hntfr2.fsf@gnu.org> References: <87a7tka8ko.fsf@netris.org> <878t8swj9n.fsf@gnu.org> <87lgcrcrxk.fsf@netris.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:54273) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fGsEQ-0002Go-4F for bug-guix@gnu.org; Thu, 10 May 2018 16:32:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fGsEM-0007Gn-BK for bug-guix@gnu.org; Thu, 10 May 2018 16:32:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:49011) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fGsEM-0007Ge-8u for bug-guix@gnu.org; Thu, 10 May 2018 16:32:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fGsEM-00041q-2u for bug-guix@gnu.org; Thu, 10 May 2018 16:32:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87lgcrcrxk.fsf@netris.org> (Mark H. Weaver's message of "Thu, 10 May 2018 13:59:51 -0400") List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: Mark H Weaver Cc: 31319@debbugs.gnu.org Hi Mark, Mark H Weaver skribis: > If you're impatient to get the duplicate field detection patch committed > soon, I could implement these "timeout" measures in the next couple of > days. > > What do you think? A timeout of a few days would be perfect. :-) Thank you! Ludo=E2=80=99.