On Wed, Oct 30, 2019 at 4:18 PM Stefan Kangas <stefan@marxist.se> 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.