doc: remove a name from THANKS.in that is derived from git log

* THANKS.in: Remove a now-duplicate name.
This commit is contained in:
Jim Meyering 2011-05-01 11:12:24 +02:00
parent 47ef7504da
commit 9d282141ba

View File

@ -23,7 +23,6 @@ Adrian Bunk bunk@stusta.de
AIDA Shinra shinra@j10n.org AIDA Shinra shinra@j10n.org
Akim Demaille demaille@inf.enst.fr Akim Demaille demaille@inf.enst.fr
Alain Magloire alain@qnx.com Alain Magloire alain@qnx.com
Alan Curry pacman@kosh.dhis.org
Alan Iwi iwi@atm.ox.ac.uk Alan Iwi iwi@atm.ox.ac.uk
Albert Chin-A-Young china@thewrittenword.com Albert Chin-A-Young china@thewrittenword.com
Albert Hopkins ahopkins@dynacare.com Albert Hopkins ahopkins@dynacare.com