Update THANKS

diff --git a/THANKS b/THANKS
index 343233a62bb6d30a6611c51b49ab09e7c05872ce..d731a9b5b62b53ee6bf05cd77d7d0caef41955b9 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -54,6 +54,7 @@ has been important. :-) In alphabetical order:
   - Paul Eggert
   - Robert Elz
   - Gilles Espinasse
+  - François Etcheverry
   - Denis Excoffier
   - Vincent Fazio
   - Michael Felt
@@ -105,6 +106,7 @@ has been important. :-) In alphabetical order:
   - Christian Kujau
   - Stephan Kulow
   - Ilya Kurdyukov
+  - Émilie Labbé
   - Peter Lawler
   - James M Leddy
   - Kelvin Lee