Update THANKS.

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