*** empty log message ***

diff --git a/THANKS b/THANKS
index 2142bcfa282acfa4b80224cf5499c7d84533aee7..f53b4d1c2235ce7a3fbe4d0cfbbb3483bfcfec0d 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -84,6 +84,7 @@ Erik Corry                          erik@kroete2.freinet.de
 Felix Lee                           flee@teleport.com
 Fletcher Mattox                     fletcher@cs.utexas.edu
 Florin Iucha                        fiucha@hsys.mic.ro
+Frank Adler                         fadler@allesklar.de
 Frank T Lofaro                      ftlofaro@snooks.Egr.UNLV.EDU
 François Pinard                     pinard@iro.umontreal.ca
 Fred Fish                           fnf@ninemoons.com