[PATCH 1/3] doc: remove a name from THANKS.in that is derived from git log

[Jim Meyering]

From: Jim Meyering <address@hidden>

* THANKS.in: Remove a now-duplicate name.
---
 THANKS.in |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)

diff --git a/THANKS.in b/THANKS.in
index d1ca380..3156834 100644
--- a/THANKS.in
+++ b/THANKS.in
@@ -23,7 +23,6 @@ Adrian Bunk                         address@hidden
 AIDA Shinra                         address@hidden
 Akim Demaille                       address@hidden
 Alain Magloire                      address@hidden
-Alan Curry                          address@hidden
 Alan Iwi                            address@hidden
 Albert Chin-A-Young                 address@hidden
 Albert Hopkins                      address@hidden
-- 
1.7.5.141.g791a