maint: remove duplicate names from THANKS

* .mailmap: Adjust so that there is only a single
entry per name in the generated THANKS.

diff --git a/.mailmap b/.mailmap
index b5cf17cf4318ad9ae6236b6bccdda7c23b49323b..d23a2c8a862dbac0192f2040a6dc8a54d51dfeb9 100644 (file)
--- a/.mailmap
+++ b/.mailmap
@@ -12,7 +12,7 @@ Paul Eggert <eggert@cs.ucla.edu> <eggert@CS.UCLA.EDU>
 Evan Hunt <ethanol@armory.com> Evan Hunt <jim@meyering.net>
 
 <P@draigBrady.com> <P@draigBrady.com  (trivial change)>
-Pádraig Brady <p@draigBrady.com> <P@draigBrady.com>
+Pádraig Brady <P@draigBrady.com>
 <chen.guo.0625@gmail.com> <chenguo4@yahoo.com>
 <chen.guo.0625@gmail.com> <chenguo4@ucla.edu>
 <schwab@linux-m68k.org> <schwab@suse.de>
@@ -27,6 +27,7 @@ Pádraig Brady <p@draigBrady.com> <P@draigBrady.com>
 <karl@gnu.org> <karl@freefriends.org>
 <stephane.raimbault@gmail.com> <stephane.raimbault@makina-corpus.com>
 <jarkko.sakkinen@iki.fi> <jarkko.sakkinen@linux.intel.com>
+<tobias@stoeckmann.org> <tobias@bugol.de>
 
 # Prefer spelled-out middle name and its address.
 Arne Henrik Juul <arnej@imf.unit.no> Arne H. Juul <arnej@solan.unit.no>