From f0e8f13ead3dafce2b776d4ee11321d737216ff4 Mon Sep 17 00:00:00 2001 From: =?utf8?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 deletion(-) 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 -- 2.47.2