From: Pádraig Brady Date: Fri, 17 Jun 2011 21:48:22 +0000 (+0100) Subject: maint: remove duplicate names from THANKS X-Git-Tag: v8.13~110 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f0e8f13ead3dafce2b776d4ee11321d737216ff4;p=thirdparty%2Fcoreutils.git maint: remove duplicate names from THANKS * .mailmap: Merge email addresses * THANKS.in: Remove a duplicate name Reported by Stefano Lattarini --- diff --git a/.mailmap b/.mailmap index e3d7a2701a..8b6231763b 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 3019f4f4c9..a7ec93308d 100644 --- a/THANKS.in +++ b/THANKS.in @@ -313,7 +313,6 @@ Kai-Uwe Rommel rommel@informatik.tu-muenchen.de Kalle Olavi Niemitalo kon@iki.fi Kamal Paul Nigam Kamal_Paul_Nigam@gs35.sp.cs.cmu.edu Karl Eichwalder keichwa@gmx.net -Karl Heuer kwzh@gnu.org Karl-Michael Schneider schneide@phil.uni-passau.de Karsten Thygesen karthy@kom.auc.dk Kaveh R. Ghazi ghazi@caip.rutgers.edu