Re: [PATCH] miniscule documentation fix

[Akim Demaille]

>>>>> "Alexandre" == Alexandre Oliva <[EMAIL PROTECTED]> writes:

Alexandre> It might have been nice to include one, since it was an
Alexandre> external user that was kind enough to supply us with the
Alexandre> fix, but we need not bother creating such ChangeLog entries
Alexandre> ourselves.

I solved this conflict between laziness/will to leave ChangeLog
meaningful and the desire to acknowledge contributions by including
Morten in THANKS.

        Akim