Update THANKS.

2014-07-12 21:10:09 +03:00 · 2014-07-12 21:10:09 +03:00 · 765735cf52
parent 59da01785e
commit 765735cf52
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -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