>From f0e8f13ead3dafce2b776d4ee11321d737216ff4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?P=C3=A1draig=20Brady?= 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 + + # Prefer spelled-out middle name and its address. Arne Henrik Juul Arne H. Juul 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 address@hidden Kalle Olavi Niemitalo address@hidden Kamal Paul Nigam address@hidden Karl Eichwalder address@hidden -Karl Heuer address@hidden Karl-Michael Schneider address@hidden Karsten Thygesen address@hidden Kaveh R. Ghazi address@hidden -- 1.7.5.2