On Wed, Oct 30, 2019 at 4:18 PM Stefan Kangas wrote: > > More information was requested, but none was given within 4 weeks, so > I'm closing this bug. If this is still an issue, please reopen the bug > report. > Sorry. I haven't got a chance to reproduce the issue. I will open a new bug report when I see any crash.