*** empty log message ***

Richard Jones · Richard Jones · commit 94f0704168fa · 2006-01-25T03:12:47.000Z
diff --git a/doc/index.txt b/doc/index.txt
@@ -96,6 +96,7 @@ Robin Green,
 Charles Groves,
 Engelbert Gruber,
 Bruce Guenter,
+Thomas Arendsen Hein,
 Juergen Hermann,
 Uwe Hoffmann,
 Tobias Hunger,
