Update THANKS

diff --git a/THANKS b/THANKS
index e31f401cf1bc099397c34791c5e3cd53e695d7a5..a6a7a672107979248cc9e44221a60aec7d781edc 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -94,6 +94,7 @@ has been important. :-) In alphabetical order:
   - Thomas Klausner
   - Richard Koch
   - Anton Kochkov
+  - Harri K. Koskinen
   - Ville Koskinen
   - Sergey Kosukhin
   - Marcin Kowalczyk