ChangeLog adjusted

diff --git a/src/ChangeLog b/src/ChangeLog
index 40cf1caf233753552518c86edd629dc27bc5ffd8..e5b2a084d2a296320428f295d2283f0ce143adf4 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -6,7 +6,7 @@
 
        * mergelex.py: Suppress yyunput.
        * recodext.h (get_byte_helper): Declare also when !INLINE_HARDER.
-       Reported by Bruno Haible.
+       Reported by Bruno Haible and Dagobert Michelsen.
 
 2008-02-27  François Pinard  <pinard@iro.umontreal.ca>