summaryrefslogtreecommitdiff
path: root/THANKS
diff options
context:
space:
mode:
Diffstat (limited to 'THANKS')
-rw-r--r--THANKS2
1 files changed, 1 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index da2d594e9..4dd71e93b 100644
--- 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
-