Update THANKS.

diff --git a/THANKS b/THANKS
index 39467243965d6bfd3b5069ce8a6ec3506ca217db..96d5b590f3b8ee6f414a28a75fa34bb3aaa908c4 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -29,6 +29,7 @@ has been important. :-) In alphabetical order:
   - Gilles Espinasse
   - Denis Excoffier
   - Michael Felt
+  - Michael Fox
   - Mike Frysinger
   - Daniel Richard G.
   - Bill Glessner