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

Done,

Dominique

Reply via email to