diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index c19fd2e8a7..68576f7ea0 100644 --- a/THANKS +++ b/THANKS @@ -17,6 +17,7 @@ infrastructure help: 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> |