Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix #7606: Game crash when trying to clean up a crashed script #7819
Not been able to reproduce the crash myself, but based on looking at the code and provided stacktrace this seems to be the only possibility.
I'm not quite sure how