*** empty log message ***

diff --git a/THANKS b/THANKS
index da2d594..4dd71e9 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -28,5 +28,5 @@ Stuart Kemp: skemp@peter.bmc.com
 Thomas Bushnell, n/BSG: thomas@gnu.ai.mit.edu
 Torbjorn Lindgren: tl@funcom.no
 Tony Leneis: tony@plaza.ds.adp.com
+Veksler Michael: mveksler@techunix.technion.ac.il
 Wayne Stewart: wstewa@atl.com
-