*** empty log message ***

diff --git a/THANKS b/THANKS
index bd037f24764e5e2e4b7d6f4e814aa237c89e62b6..1a412d4640558a686a08bf8a77ef39f2dc2ec374 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -203,6 +203,7 @@ Larry McVoy                         lm@sgi.com
 Lars Hecking                        lhecking@nmrc.ucc.ie
 Lehti Rami                          rammer@cs.tut.fi
 Leonard N. Zubkoff                  lnz@dandelion.com
+Leonardo Milano                     lmilano@udel.edu
 Lorne Baker                         lbaker@nitro.avint.net
 M. P. Suzuki                        mpsuzuki@hiroshima-u.ac.jp
 Maciej Kwapulinski                  pikpok@univ.gda.pl