.

diff --git a/THANKS b/THANKS
index fc9129f96528dd07649c9d5d26ef7f4add58bacf..ff7228e43784de2ce9ad233c97d34ddd206b7e87 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -13,6 +13,7 @@ Joakim Rosqvist: dvljrt@cs.umu.se
 Marcus Daniels: marcus@sysc.pdx.edu
 Mark A. Thomas: thommark@access.digex.net
 Mark Harris: mark@monitor.designacc.com
+Matthew S. Levine: mslevine@theory.lcs.mit.edu
 Miles Bader: miles@gnu.ai.mit.edu
 Peter Eriksson: peter@ifm.liu.se
 Ross Ridge: rridge@calum.csclub.uwaterloo.ca