Merge pull request #2164 from alexrp/mono-4.2.0-branch-profiler-crash