Subject: Re: bug#8886: duplicate names in THANKS?

From: Pádraig Brady <[email-masked]>
Date: Fri, 17 Jun 2011 22:52:35 +0100

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