Update THANKS.

diff --git a/THANKS b/THANKS
index 03ec8e094351ad60998ec3ca984b39b3a83e9b50..1f91d053caf90443c12fabd7400db417ebeaecf3 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -62,6 +62,7 @@ has been important. :-) In alphabetical order:
   - Nicholas Jackson
   - Sam James
   - Hajin Jang
+  - Hans Jansen
   - Jouk Jansen
   - Jun I Jin
   - Kiyoshi Kanazawa