Update THANKS.

diff --git a/THANKS b/THANKS
index b455ae74e9124de9790a5a35ca548f67f80badf1..1cf648884510e13022cec10b61d0973098f00410 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -32,6 +32,7 @@ has been important. :-) In alphabetical order:
   - Andrew Dudman
   - Markus Duft
   - İsmail Dönmez
+  - Paul Eggert
   - Robert Elz
   - Gilles Espinasse
   - Denis Excoffier