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.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 8886 in the body.
You can then email your comments to 8886 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to owner <at> debbugs.gnu.org, bug-coreutils <at> gnu.org:
bug#8886; Package coreutils. (Fri, 17 Jun 2011 19:59:01 GMT) Full text and rfc822 format available.
Acknowledgement sent to Stefano Lattarini <stefano.lattarini <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-coreutils <at> gnu.org. (Fri, 17 Jun 2011 19:59:01 GMT) Full text and rfc822 format available.

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

From: Stefano Lattarini <stefano.lattarini <at> gmail.com>
To: bug-coreutils <at> gnu.org
Subject: duplicate names in THANKS?
Date: Fri, 17 Jun 2011 22:10:09 +0200

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

  $ grep 'Karl Berry' THANKS
  Karl Berry                          karl <at> freefriends.org
  Karl Berry                          karl <at> gnu.org

Regards,
  Stefano
Reply sent to Pádraig Brady <P <at> draigBrady.com>:
You have taken responsibility. (Fri, 17 Jun 2011 21:57:02 GMT) Full text and rfc822 format available.
Notification sent to Stefano Lattarini <stefano.lattarini <at> gmail.com>:
bug acknowledged by developer. (Fri, 17 Jun 2011 21:57:02 GMT) Full text and rfc822 format available.

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)]
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 16 Jul 2011 11:24:04 GMT) Full text and rfc822 format available.
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.