GNU bug report logs - #8886
duplicate names in THANKS?

Previous Next

Package: coreutils;

Reported by: Stefano Lattarini <stefano.lattarini <at> gmail.com>

Date: Fri, 17 Jun 2011 19:59:01 UTC

Severity: normal

Done: Pádraig Brady <P <at> draigBrady.com>

Bug is archived. No further changes may be made.

Full log

Message #10 received at 8886-done <at> debbugs.gnu.org (full text, mbox):

From: Pádraig Brady <P <at> draigBrady.com>
To: Stefano Lattarini <stefano.lattarini <at> gmail.com>
Cc: 8886-done <at> debbugs.gnu.org
Subject: Re: bug#8886: duplicate names in THANKS?
Date: Fri, 17 Jun 2011 22:52:35 +0100

[Message part 1 (text/plain, inline)]
On 17/06/11 21:10, Stefano Lattarini wrote:
> OK, this is just a silly cosmetic issue, but maybe you'd like to know
> about it anyway:
> 
>   $ make THANKS
>     GEN    THANKS
>   ./thanks-gen: THANKS.in: duplicate name: Karl Berry
>   ./thanks-gen: THANKS.in: duplicate name: Karl Heuer
>   ./thanks-gen: THANKS.in: duplicate name: Stéphane Raimbault

I'll apply the attached.

thanks!
Pádraig.

[dupe-mails.diff (text/x-patch, attachment)]
This bug report was last modified 13 years and 338 days ago.

Previous Next

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