From: Alex Rønne Petersen <alex@alexrp.com>
Date: Wed, 21 Jun 2017 00:06:28 +0000 (+0200)
Subject: Merge pull request #5072 from alexrp/profiler-stability
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=7ed46ff6e11b4af7d38d5681ee814336bea744d9

Merge pull request #5072 from alexrp/profiler-stability

[profiler] A bunch of profiler bug/stability fixes.
---

7ed46ff6e11b4af7d38d5681ee814336bea744d9