Update THANKS.

diff --git a/THANKS b/THANKS
index 4a0594f374be541e38f7f7fbdf436e77c2105023..c2e799dcf471f2685f61bf80d5ee170e6dc37401 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -58,6 +58,7 @@ has been important. :-) In alphabetical order:
   - Stephan Kulow
   - Peter Lawler
   - James M Leddy
+  - Vincent Lefevre
   - Hin-Tak Leung
   - Andraž 'ruskie' Levstik
   - Cary Lewis
@@ -72,6 +73,7 @@ has been important. :-) In alphabetical order:
   - Martin Matuška
   - Jim Meyering
   - Arkadiusz Miskiewicz
+  - Étienne Mollier
   - Conley Moorhous
   - Rafał Mużyło
   - Adrien Nader