Update THANKS.

THANKS

diff --git a/THANKS b/THANKS
index 3946724..96d5b59 100644
--- a/THANKS
+++ b/THANKS
@@ -29,6 +29,7 @@
   - Gilles Espinasse
   - Denis Excoffier
   - Michael Felt
+  - Michael Fox
   - Mike Frysinger
   - Daniel Richard G.
   - Bill Glessner