Nis Martensen Thu, 14 Feb 2019 14:12:43 -0800
control: severity -1 normal This can probably be closed. I believe this was fixed in reportbug 7.1.8; nobody has been able to provide more information on the bug in more than a year.
Downgrading the report to → normal severity ← in the meantime.
