Update THANKS

(cherry picked from commit 5e375987509fab484b7bef0b90be92f241c58c91)

diff --git a/THANKS b/THANKS
index 27060808be262cd0d73e988947bc8a7e3eb0c078..fb9a6d0dd3a286fb3f006cafdd8ab2af897c2396 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -94,6 +94,7 @@ has been important. :-) In alphabetical order:
   - Cary Lewis
   - Wim Lewis
   - Xin Li
+  - Yifeng Li
   - Eric Lindblad
   - Lorenzo De Liso
   - H.J. Lu