On Mon, Dec 14, 2015 at 10:07:26AM +0100, Pavel Machek wrote:> I know. But either someone cares, and it should be fixes, or noone> cares, and the check should be removed.Someone cares.-- Regards/Gruss, Boris.ECO tip #101: Trim your mails when you reply.