Hi Dominique,

> Thanks for the tip. What should I do now? Should I fix the ChangeLog entry
> and add a new one or do nothing?

if you want, you could fix the ChangeLog entry in place, but don't add a
new one for that change.

        Rainer

-- 
-----------------------------------------------------------------------------
Rainer Orth, Center for Biotechnology, Bielefeld University

Reply via email to