summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2015-06-07 18:15:40 +0200
committerLudovic Courtès <ludo@gnu.org>2015-06-07 18:15:40 +0200
commita647e0b8eef9931a46aded4c4d71e0413cc84340 (patch)
tree62c81322245fa3fef63d43bf18e18375c2f4b13b /THANKS
parent54eb03abbd494232e13f63efb6af370aa0bbab4a (diff)
Thank Thomas.
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index 36c2a3ae1b..8093d8c4ca 100644
--- 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>