For an unknown reason, the crash ceased occuring under the same circumstances. I did not make any changes to the environment, other than turning the same computer off and then on again. I am seemingly unable to reproduce the crash anymore.
For an unknown reason, the crash ceased occuring under the same circumstances. I did not make any changes to the environment, other than turning the same computer off and then on again. I am seemingly unable to reproduce the crash anymore.