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

View this message in rfc822 format

From: Stefano Lattarini <stefano.lattarini <at> gmail.com>
To: 8886 <at> debbugs.gnu.org
Subject: bug#8886: 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
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.