Skip to content
This repository was archived by the owner on Mar 29, 2022. It is now read-only.

Conversation

@gklka
Copy link

@gklka gklka commented Jul 24, 2018

Fixed a crash

@JSchaenzle
Copy link

Any status updates on this PR? Is this not merged because it's not a serious problem?

@JSchaenzle
Copy link

Looks like it is still a problem. I observed the same crash today and this change resolved it.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants