diff --git a/THANKS b/THANKS index 9e7ce239e..7c3dc40fc 100644 --- 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