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

* THANKS.in: Remove a now-duplicate name.

diff --git a/THANKS.in b/THANKS.in
index d1ca380..3156834 100644 (file)
--- a/THANKS.in
+++ b/THANKS.in
@@ -23,7 +23,6 @@ Adrian Bunk                         bunk@stusta.de
 AIDA Shinra                         shinra@j10n.org
 Akim Demaille                       demaille@inf.enst.fr
 Alain Magloire                      alain@qnx.com
-Alan Curry                          pacman@kosh.dhis.org
 Alan Iwi                            iwi@atm.ox.ac.uk
 Albert Chin-A-Young                 china@thewrittenword.com
 Albert Hopkins                      ahopkins@dynacare.com