Update THANKS.

diff --git a/THANKS b/THANKS
index c58fff5e1382a5f806461b5433bfb65642c920fc..3fa04743e8a6a83b94b5721d8c05e3c485a52c52 100644 (file)
--- 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