Update THANKS.

(cherry picked from commit df7f487648d18a3992386a59b8a061edca862d17)

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