On Thu, Jun 25, 2015 at 05:39:42PM +0200, Sven Schwedas wrote: > Is this a known bug? Because it's annoying ... No it isn't. Please log a bug. Also, please don't use expletives on a public mailing list. Others may not share your sensibilities.