On Fri, Dec 19, 2014 at 06:54:04PM +0100, Thomas Schwinge wrote:
> Like this (not yet applied)?

I think it is fine, though the ChangeLog entry is not.  Though in the late
of hopefully soonish merge and creation of full ChangeLog entry it is not a
big deal.

        Jakub

Reply via email to