> 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