diff options
| -rw-r--r-- | THANKS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/THANKS b/THANKS index a7944c0f99..ff9714ebec 100644 --- a/THANKS +++ b/THANKS @@ -29,6 +29,7 @@ infrastructure help: Yutaka Niibe <gniibe@fsij.org> Andrei Osipov <andrspv@gmail.com> Adam Pribyl <pribyl@lowlevel.cz> + Pjotr Prins <pjotr.public12@thebird.nl> rekado <rekado@elephly.net> Bruno Félix Rezende Ribeiro <oitofelix@gnu.org> Cyrill Schenkel <cyrill.schenkel@gmail.com> |