Update THANKS.

diff --git a/THANKS b/THANKS
index 0cc688b526239008444abda7e6c5735c8bec6b6f..699d025ce07cbd8c23a328696744335f1f2e458c 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -81,6 +81,7 @@ has been important. :-) In alphabetical order:
   - Ilya Kurdyukov
   - Peter Lawler
   - James M Leddy
+  - Kelvin Lee
   - Vincent Lefevre
   - Hin-Tak Leung
   - Andraž 'ruskie' Levstik