*** empty log message ***

diff --git a/THANKS b/THANKS
index df7060e5a32accd0de5ef53ad3ad3ccfaf8bcc2b..bbf275b1274a5ada3fab7a671b0c83bbe97cd468 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -31,6 +31,7 @@ Eli Zaretskii: eliz@is.elta.co.il
 Emile LeBlanc: leblanc@math.toronto.edu
 François Pinard: pinard@iro.umontreal.ca
 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
 Hugh Daniel: hugh@xanadu.com