On Mon, 28 Aug 2017 14:49:59 +0200, Thomas Hungenberg wrote: >On 28.08.2017 12:38, Oliver Grawert wrote: >> you can file a bug and request it by following: > >I've just filed a bug report. Hi, it's common practice to post links to bug reports, so other users could confirm the bug or just keep up with the state of affairs. Regards, Ralf