*** empty log message ***

diff --git a/THANKS b/THANKS
index 592257b5e13ecc054f358671dda88786b3b6a6f6..658014548c7fa2a0c7b2b5ed8674dcbdb0e4b9f8 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -39,6 +39,7 @@ Germano Leichsenring: germano@jedi.cs.kobe-u.ac.jp
 Göran Uddeborg: goeran@uddeborg.pp.se
 Greg McGary: gkm@eng.ascend.com
 Gabor Z. Papp: gzp@gzp.org.hu
+H. J. Lu: hjl@valinux.com
 Holger Berger: hberger@ess.nec.de
 Hugh Daniel: hugh@xanadu.com
 James: james@albion.glarp.com