diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index cb3c32c2ac..4070eea3d1 100644 --- a/THANKS +++ b/THANKS @@ -23,6 +23,7 @@ infrastructure help: Matthew Lien <bluet@bluet.org> Niels Möller <nisse@lysator.liu.se> Yutaka Niibe <gniibe@fsij.org> + Adam Pribyl <pribyl@lowlevel.cz> Cyrill Schenkel <cyrill.schenkel@gmail.com> Benno Schulenberg <coordinator@translationproject.org> Jason Self <jself@gnu.org> |