Original submitter of bug replying. I don't see this crash in 18.10 for a while now. I'd be okay to close it.
Original submitter of bug replying. I don't see this crash in 18.10 for a while now. I'd be okay to close it.