Update THANKS.

diff --git a/THANKS b/THANKS
index 413f6c64f20fb5703df02ea1a2caa7cab0594428..bb386a56a147db40f8ec77587bc73e7d0dbd4fea 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -38,6 +38,7 @@ has been important. :-) In alphabetical order:
   - Vincenzo Innocente
   - Peter Ivanov
   - Jouk Jansen
+  - Jun I Jin
   - Per Øyvind Karlsen
   - Thomas Klausner
   - Richard Koch