Update THANKS.
diff --git a/THANKS b/THANKS
index 6c67735..413f6c6 100644
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@
   - Diego Elio Pettenò
   - Elbert Pol
   - Mikko Pouru
+  - Trần Ngọc Quân
   - Pavel Raiskup
   - Robert Readman
   - Bernhard Reutner-Fischer