From: Rodrigo Kumpera <kumpera@gmail.com>
Date: Tue, 21 Jul 2015 20:38:35 +0000 (-0400)
Subject: Merge pull request #1926 from alexrp/profiler-improvements
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=7151c3c2837ae4ee0f2138df0e903077caa26119

Merge pull request #1926 from alexrp/profiler-improvements

More profiler improvements
---

7151c3c2837ae4ee0f2138df0e903077caa26119