Update THANKS.

diff --git a/THANKS b/THANKS
index 7b36e72fb150853a4f9b5ab24c3cbdf72dbbf106..e25f6935e6856cb7bed1489931fcc6cc5dbf2ca0 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -38,6 +38,7 @@ has been important. :-) In alphabetical order:
   - Thomas Klausner
   - Richard Koch
   - Ville Koskinen
+  - Jan Kratochvil
   - Stephan Kulow
   - Peter Lawler
   - Hin-Tak Leung