*** empty log message ***

diff --git a/THANKS b/THANKS
index 5395790ccee892369410224ba70e282803670ffe..428f53bce97250182a1c0ecd4000c3d55eb60f0b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -106,6 +106,7 @@ Jamie Lokier                        jamie@imbolc.ucc.ie
 Janos Farkas                        chexum@shadow.banki.hu
 Jarkko Hietaniemi                   jhi@epsilon.hut.fi
 Jeff Moore                          jbm@mordor.com
+Jeff Sheinberg                      jeffsh@erols.com
 Jens Schmidt                        jms@jsds.hamburg.com
 Jerome Abela                        abela@hsc.fr
 Jesse Thilo                         jgt2@eecs.lehigh.edu