diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index 17ee803dc7..6587834e31 100644 --- a/THANKS +++ b/THANKS @@ -7,4 +7,5 @@ suggestions, bug reports, patches, or general infrastructure help: Aleix Conchillo Flaqué <aconchillo@gmail.com> Cyril Roelandt <tipecaml@gmail.com> + Alex Sassmannshausen <alex.sassmannshausen@gmail.com> Jason Self <jself@gnu.org> |