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 protected]> 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 protected]> <[email protected]> <[email protected]> <[email protected]> <[email protected]> <[email protected]> <[email protected]> <[email protected]> +<[email protected]> <[email protected]> +<[email protected]> <[email protected]> # Prefer spelled-out middle name and its address. Arne Henrik Juul <[email protected]> Arne H. Juul <[email protected]> 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 protected] Kalle Olavi Niemitalo [email protected] Kamal Paul Nigam [email protected] Karl Eichwalder [email protected] -Karl Heuer [email protected] Karl-Michael Schneider [email protected] Karsten Thygesen [email protected] Kaveh R. Ghazi [email protected] -- 1.7.5.2
