*** empty log message ***

diff --git a/THANKS b/THANKS
index 5dcab9f03ecd26c2bd9740cbd23fd9efb95a8f37..be47e1f3b05d39286935c150f7987e55e89fa63e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -320,6 +320,7 @@ Mike Castle                         dalgoda@ix.netcom.com
 Mike Coleman                        mkc@mathdogs.com
 Mike Jetzer                         mjetzer@mke.catalystwms.com
 Mikko Tuumanen                      m@sorvankyla.yok.utu.fi
+Mikulas Patocka                     mikulas@artax.karlin.mff.cuni.cz
 Miles Bader                         miles@gnu.ai.mit.edu
 Minh Tran-Le                        tranle@intellicorp.com
 Morten Welinder                     terra@diku.dk