1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index edfbbf6c09..a8772057d0 100644
--- a/THANKS
+++ b/THANKS
@@ -21,6 +21,7 @@ infrastructure help:
        Niels Möller <[email protected]>
       Yutaka Niibe <[email protected]>
       Cyrill Schenkel <[email protected]>
+       Benno Schulenberg <[email protected]>
        Jason Self <[email protected]>
         Alen Skondro <[email protected]>
     Matthias Wachs <[email protected]>