*** empty log message ***

diff --git a/THANKS b/THANKS
index 2e5c4d5..9366448 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -12,6 +12,7 @@ Bug reports and fixes from:
      Marcus Daniels
        Fred Fish
    Jesse N. Glick
+       Dirk Herrmann
        Bill Janssen
       Shiro Kawai
 Christopher Lee