1 files changed, 1 insertions, 0 deletions

diff --git a/THANKS b/THANKS
index c58fff5e..3fa04743 100644
--- a/THANKS
+++ b/THANKS
@@ -63,6 +63,7 @@ has been important. :-) In alphabetical order:
   - Christian von Roques
   - Jukka Salmi
   - Alexandre Sauvé
+  - Benno Schulenberg
   - Andreas Schwab
   - Dan Shechter
   - Stuart Shelton