Update THANKS.

diff --git a/THANKS b/THANKS
index 0d811705280241e5eaaece2a8b99b49396995e93..e28d3dc8621b44c5c438fb3bf798ad9e07f6003f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -67,6 +67,7 @@ has been important. :-) In alphabetical order:
   - Iouri Kharon
   - Thomas Klausner
   - Richard Koch
+  - Anton Kochkov
   - Ville Koskinen
   - Marcin Kowalczyk
   - Jan Kratochvil