Thank Thomas.

diff --git a/THANKS b/THANKS
index 36c2a3a..8093d8c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -35,6 +35,7 @@ infrastructure help:
       Bruno Félix Rezende Ribeiro <oitofelix@gnu.org>
           Cyrill Schenkel <cyrill.schenkel@gmail.com>
            Benno Schulenberg <coordinator@translationproject.org>
+           Thomas Schwinge <thomas@codesourcery.com>
             Alen Skondro <askondro@gmail.com>
         Matthias Wachs <wachs@net.in.tum.de>
              Andy Wingo <wingo@pobox.com>