Update THANKS.

diff --git a/THANKS b/THANKS
index 6c677357d58fb1322e80ace09292c4c78359fdba..413f6c64f20fb5703df02ea1a2caa7cab0594428 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -68,6 +68,7 @@ has been important. :-) In alphabetical order:
   - Diego Elio Pettenò
   - Elbert Pol
   - Mikko Pouru
+  - Trần Ngọc Quân
   - Pavel Raiskup
   - Robert Readman
   - Bernhard Reutner-Fischer