*** empty log message ***

diff --git a/THANKS b/THANKS
index 76664d4169d5aad946386a01d4308d955c7e383a..dbab2e8c32ce6f150333eaeda17cd0f66c22898e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -159,6 +159,7 @@ Martin P.J. Zinser                  zinser@decus.de
 Martin                              martin@dresden.nacamar.de
 Marty Leisner                       leisner@sdsp.mc.xerox.com
 Masami Takikawa                     takikawm@CS.ORST.EDU
+Mate Wierdl                         mw@moni.msci.memphis.edu
 Matej Vela                          mvela@public.srce.hr
 Matthew Braun                       matthew@ans.net
 Matthew S. Levine                   mslevine@theory.lcs.mit.edu