doc: remove a name from THANKS.in that is derived from git log
authorJim Meyering <meyering@redhat.com>
Sun, 1 May 2011 09:12:24 +0000 (11:12 +0200)
committerJim Meyering <meyering@redhat.com>
Tue, 3 May 2011 08:25:32 +0000 (10:25 +0200)
commit9d282141ba85f32ec0ad81a18f6b0fd45bdcc1b1
treea390d318dfe6a2504412f0dc1d5c24782296ac64
parent47ef7504dab60f04b79e1c50f533ecd689d28598
doc: remove a name from THANKS.in that is derived from git log

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