*** empty log message ***

diff --git a/THANKS b/THANKS
index b91abc963117c4ef39d92e442134845bcfd093dd..91a0a49cc136cf061747ee2bbb9d11c81da3e254 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -264,6 +264,7 @@ Michael Piefel                      piefel@informatik.hu-berlin.de
 Michael Steffens                    michael.steffens@s.netic.de
 Michael Stone                       mstone@debian.org
 Michael Stutz                       stutz@dsl.org
+Michael van Elst                    mlelstv@dev.de.cw.net
 Michael Veksler                     mveksler@techunix.technion.ac.il
 Michail Litvak                      mci@owl.openwall.com
 Michal Svec                         msvec@suse.cz