Update THANKS.

diff --git a/THANKS b/THANKS
index 3fa04743e8a6a83b94b5721d8c05e3c485a52c52..b13503e2d36060a6cdbf8137f9edd2a33721dbb2 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -44,6 +44,7 @@ has been important. :-) In alphabetical order:
   - Cary Lewis
   - Wim Lewis
   - Lorenzo De Liso
+  - Bela Lubkin
   - Gregory Margo
   - Jim Meyering
   - Rafał Mużyło