*** empty log message ***

diff --git a/THANKS b/THANKS
index 9e7ce239ef81bf8a9a532187c83bad4e22c1653c..7c3dc40fc38f06229c69bed30c516af441eaf88e 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -36,6 +36,7 @@ Galen Hazelwood: galenh@micron.net
 Germano Leichsenring: germano@jedi.cs.kobe-u.ac.jp
 Göran Uddeborg: goeran@uddeborg.pp.se
 Greg McGary: gkm@eng.ascend.com
+Holger Berger: berger@ehpctc1.nec.tz.uni-stuttgart.de
 Hugh Daniel: hugh@xanadu.com
 James: james@albion.glarp.com
 James Antill: jmanti%essex.ac.uk@seralph21.essex.ac.uk