Update THANKS.

diff --git a/THANKS b/THANKS
index d93f9b0db7d4a2d00b3ffdcb202eed183692a30a..7b36e72fb150853a4f9b5ab24c3cbdf72dbbf106 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -45,6 +45,7 @@ has been important. :-) In alphabetical order:
   - Cary Lewis
   - Wim Lewis
   - Lorenzo De Liso
+  - Bela Lubkin
   - Gregory Margo
   - Jim Meyering
   - Arkadiusz Miskiewicz