another contributor

Richard Jones · Richard Jones · commit abeff613c1db · 2003-12-04T23:14:10.000Z
diff --git a/doc/index.txt b/doc/index.txt
@@ -65,6 +65,7 @@ Johannes Gijsbers,
 Gus Gollings,
 Dan Grassi,
 Engelbert Gruber,
+Thomas Arendsen Hein,
 Juergen Hermann,
 Tobias Hunger,
 James Kew,
