On Sun, Jun 14, 2015 at 06:43:33PM +0200, Marc Haber wrote: > btw, please read up on bug severities. I consider filing this bug as > "grave" quite short of being offensive. If you're genuinely offended by a bug submitter's choice of severity, it's time to take a step back from the computer and get a cup of tea.