*** empty log message ***

diff --git a/THANKS b/THANKS
index 294b85ade0bdc0c018cd0adecfd1087d1eb5a530..479e9819f57ff0733e7d655d893f9c681bb7e6fa 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -33,6 +33,7 @@ Jesse Thilo: jgt2@eecs.lehigh.edu
 Joakim Rosqvist: dvljrt@cs.umu.se
 Johan Danielsson: joda@pdc.kth.se
 John Gatewood Ham: zappaman@alphabox.compsci.buu.ac.th
+Karl Heuer: kwzh@gnu.org
 Kjetil Torgrim Homme: kjetilho@ifi.uio.no
 Lorne Baker: lbaker@nitro.avint.net
 Marcus Daniels: marcus@sysc.pdx.edu