Update THANKS.

diff --git a/THANKS b/THANKS
index b72779b9e29a3dbaaa1e45ea83c0bf03ebfbb6df..85443cb87f1b3ea488fd8477abf4dde35bc2c482 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -76,6 +76,7 @@ has been important. :-) In alphabetical order:
   - Richard Koch
   - Anton Kochkov
   - Ville Koskinen
+  - Sergey Kosukhin
   - Marcin Kowalczyk
   - Jan Kratochvil
   - Christian Kujau