From: Alex Rønne Petersen <alex@alexrp.com>
Date: Tue, 8 Aug 2017 06:55:11 +0000 (+0200)
Subject: Merge pull request #5317 from alexrp/master
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=5ac651e7b47c855011b5ffadeb4f031e39865edc

Merge pull request #5317 from alexrp/master

[profiler] Some profiler API improvements.
---

5ac651e7b47c855011b5ffadeb4f031e39865edc