Update THANKS.

diff --git a/THANKS b/THANKS
index cad65242d1a22077b93a30adeb3ac9cbe0c0469d..03ec8e094351ad60998ec3ca984b39b3a83e9b50 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -19,6 +19,7 @@ has been important. :-) In alphabetical order:
   - Jakub Bogusz
   - Adam Borowski
   - Maarten Bosmans
+  - Benjamin Buch
   - Trent W. Buck
   - Kevin R. Bulgrien
   - James Buren