Update THANKS

(cherry picked from commit e5758db7bd75587a2499e0771907521a4aa86908)

diff --git a/THANKS b/THANKS
index fb9a6d0dd3a286fb3f006cafdd8ab2af897c2396..77d065ea8d325c8022de0f58619dfd5dc439c74f 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -74,6 +74,7 @@ has been important. :-) In alphabetical order:
   - Kiyoshi Kanazawa
   - Joona Kannisto
   - Per Øyvind Karlsen
+  - Firas Khalil Khana
   - Iouri Kharon
   - Thomas Klausner
   - Richard Koch