diff options
Diffstat (limited to 'THANKS')
| -rw-r--r-- | THANKS | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/THANKS b/THANKS index 68576f7ea0..2d3aeaec0b 100644 --- a/THANKS +++ b/THANKS @@ -16,7 +16,6 @@ infrastructure help: 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> |