Updated THANKS.

diff --git a/THANKS b/THANKS
index f5d7dea9fd89eddf7ed3e2b8a4a6f6ad190ab193..7afe415bebfbc71386ee099a927f5b72406a8d3a 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -37,6 +37,7 @@ has been important. :-) In alphabetical order:
   - Hin-Tak Leung
   - Andraž 'ruskie' Levstik
   - Lorenzo De Liso
+  - Gregory Margo
   - Jim Meyering
   - Rafał Mużyło
   - Adrien Nader