Update THANKS.

(cherry picked from commit df7f487648d18a3992386a59b8a061edca862d17)

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