Han-Wen Nienhuys <[EMAIL PROTECTED]> writes:

> Pushed (without changelog entry).

Note that what we agreed on was to provide ChangeLog-style comments in
the Git log entry, which this patch doesn't have.

Thanks,
Ludo'.



Reply via email to