No. Was it a rare BSOD, right? The crash wasn’t in my code, so I’ll forward it to the responsible developer.