diff options
| -rw-r--r-- | THANKS | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/THANKS b/THANKS index 9dc330f998..c19fd2e8a7 100644 --- a/THANKS +++ b/THANKS @@ -15,6 +15,8 @@ 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> Jason Self <jself@gnu.org> Alen Skondro <askondro@gmail.com> + Matthias Wachs <wachs@net.in.tum.de> |