Update THANKS.

diff --git a/THANKS b/THANKS
index c5a0c8aa5396437893f4c3c8b7182d235b03ad31..9bb90c77640c695bf40c4fa258fc75766594841a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -94,6 +94,7 @@ has been important. :-) In alphabetical order:
   - Lorenzo De Liso
   - H.J. Lu
   - Bela Lubkin
+  - Chenxi Mao
   - Gregory Margo
   - Julien Marrec
   - Ed Maste