Subject: bug#8886: closed (Re: bug#8886: duplicate names in THANKS?)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 17 Jun 2011 21:57:02 +0000

Your bug report

#8886: duplicate names in THANKS?

which was filed against the coreutils package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
8886: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8886
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#8886: duplicate names in THANKS?
From: Pádraig Brady <[email-masked]>
To: Stefano Lattarini <[email-masked]>
Cc: [email-masked]
Date: Fri, 17 Jun 2011 22:52:35 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

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.
>From f0e8f13ead3dafce2b776d4ee11321d737216ff4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?P=C3=A1draig=20Brady?= <[email-masked]>
Date: Fri, 17 Jun 2011 22:48:22 +0100
Subject: [PATCH] maint: remove duplicate names from THANKS

* .mailmap: Merge email addresses
* THANKS.in: Remove a duplicate name
Reported by Stefano Lattarini
---
 .mailmap  |    2 ++
 THANKS.in |    1 -
 2 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/.mailmap b/.mailmap
index e3d7a27..8b62317 100644
--- a/.mailmap
+++ b/.mailmap
@@ -23,6 +23,8 @@ Pádraig Brady <[email-masked]> <[email-masked]>
 <[email-masked]> <[email-masked]>
 <[email-masked]> <[email-masked]>
 <[email-masked]> <[email-masked]>
+<[email-masked]> <[email-masked]>
+<[email-masked]> <[email-masked]>
 
 # Prefer spelled-out middle name and its address.
 Arne Henrik Juul <[email-masked]> Arne H. Juul <[email-masked]>
diff --git a/THANKS.in b/THANKS.in
index 3019f4f..a7ec933 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -313,7 +313,6 @@ Kai-Uwe Rommel                      [email-masked]
 Kalle Olavi Niemitalo               [email-masked]
 Kamal Paul Nigam                    [email-masked]
 Karl Eichwalder                     [email-masked]
-Karl Heuer                          [email-masked]
 Karl-Michael Schneider              [email-masked]
 Karsten Thygesen                    [email-masked]
 Kaveh R. Ghazi                      [email-masked]
-- 
1.7.5.2

Subject: duplicate names in THANKS?
From: Stefano Lattarini <[email-masked]>
To: [email-masked]
Date: Fri, 17 Jun 2011 22:10:09 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

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                          [email-masked]
  Karl Berry                          [email-masked]

Regards,
  Stefano