On 6 October 2017 at 21:51, Titus Von Boxberg wrote: > Or should I file a bug? Or is there already one I could not find?
This mailing list is not for "is this a bug?" questions. This looks like a bug, so please create a bug report in Bugzilla, thanks.
