Update THANKS.

diff --git a/THANKS b/THANKS
index eadc978741daf6005ca70a60743295a1dc06f473..e1770c4566ccde6215c5a5b6d464f067c78a0b45 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -25,6 +25,7 @@ has been important. :-) In alphabetical order:
   - Robert Elz
   - Gilles Espinasse
   - Denis Excoffier
+  - Michael Felt
   - Mike Frysinger
   - Bill Glessner
   - Jason Gorski