Update THANKS.

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