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 <[email protected]>
            Andrei Osipov <[email protected]>
              Adam Pribyl <[email protected]>
+            Pjotr Prins <[email protected]>
                   rekado <[email protected]>
       Bruno Félix Rezende Ribeiro <[email protected]>
 	   Cyrill Schenkel <[email protected]>