>
> > Well, the commit f2144eef does not contain any ChangeLog entries...
> maybe you forgot to stage these
> > changes? But yes, I understand what you mean.
>
> Not ChangeLog entries, but commit log message formatted as ChangeLog.
>

Ah, right. That is indeed a very complete change description!

Thanks,
Philippe