THANKS adjusted

diff --git a/THANKS b/THANKS
index 03d28baca0c22995ddeac107e6c46c0cd6b8f185..2d193339cea211498c508d6a174904ab8828a42b 100644 (file)
--- a/THANKS
+++ b/THANKS
@@ -42,7 +42,9 @@ Christian Weisgerber  naddy@mips.inka.de
                        http://home.pages.de/~naddy/
 Claude Goutier         goutier@jsp.umontreal.ca
 Colin Plumb
+Dagobert Michelsen     dam@baltic-online.de
 Dan Jacobson           jidanni@jidanni.org
+                       http://jidanni.org/
 Daniel Quinlan         quinlan@best.com
 Daniel Taupin          taupin@lps.u-psud.fr
 David E. A. Wilson     david_wilson@uow.edu.au

diff --git a/src/ChangeLog b/src/ChangeLog
index 053553c79712c560f0527a7d29bf3d072a655a3d..6187c0f14d953cbf15c617af0d9086dfc6691301 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -7,6 +7,7 @@
        put_byte_helper, not only put_byte_helper.
        * task.c (get_byte_helper) [!INLINE_HARDER]: Compile as well.
        Properly declare the argument as a subtask, not as a task.
+       Reported by Dagobert Michelsen and Marc Shapiro.
 
 2008-02-21  François Pinard  <pinard@iro.umontreal.ca>