diff options
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/THANKS b/THANKS index 9dc330f998..68576f7ea0 100644 --- a/THANKS +++ b/THANKS @@ -15,6 +15,9 @@ infrastructure help: Rafael Ferreira <rafael.f.f1@gmail.com> Christian Grothoff <christian@grothoff.org> Matthew Lien <bluet@bluet.org> + Yutaka Niibe <gniibe@fsij.org> Alex Sassmannshausen <alex.sassmannshausen@gmail.com> + Cyrill Schenkel <cyrill.schenkel@gmail.com> Jason Self <jself@gnu.org> Alen Skondro <askondro@gmail.com> + Matthias Wachs <wachs@net.in.tum.de> |