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