GNU bug report logs - #31319
ghc-case-insensitive: Duplicate 'inputs' field.

Previous Next

Package: guix;

Reported by: Mark H Weaver <mhw <at> netris.org>

Date: Mon, 30 Apr 2018 17:51:01 UTC

Severity: normal

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

Message #14 received at 31319 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Mark H Weaver <mhw <at> netris.org>
Cc: 31319 <at> debbugs.gnu.org
Subject: Re: bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.
Date: Thu, 10 May 2018 22:30:57 +0200

Hi Mark,

Mark H Weaver <mhw <at> netris.org> 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’.
This bug report was last modified 6 years and 182 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.