On 23/09/2019 11:05, Szabolcs Nagy wrote: > either way there should be a bug report about > it in bugzilla (and the id referenced in the sorry, missed the bugzilla id in the subject, i commented on the bug now.