summary refs log tree commit diff
diff options
context:
space:
mode:
-rw-r--r--THANKS1
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS
index edfbbf6c09..a8772057d0 100644
--- a/THANKS
+++ b/THANKS
@@ -21,6 +21,7 @@ infrastructure help:
        Niels Möller <nisse@lysator.liu.se>
       Yutaka Niibe <gniibe@fsij.org>
       Cyrill Schenkel <cyrill.schenkel@gmail.com>
+       Benno Schulenberg <coordinator@translationproject.org>
        Jason Self <jself@gnu.org>
         Alen Skondro <askondro@gmail.com>
     Matthias Wachs <wachs@net.in.tum.de>