[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#31319: ghc-case-insensitive: Duplicate 'inputs' field.
|
From: |
Ludovic Courtès |
|
Subject: |
bug#31319: ghc-case-insensitive: Duplicate 'inputs' field. |
|
Date: |
Thu, 10 May 2018 22:30:57 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) |
Hi Mark,
Mark H Weaver <address@hidden> 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’.