diff options
-rw-r--r-- | THANKS | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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> |