From: Rodrigo Kumpera <kumpera@gmail.com>
Date: Mon, 27 Jul 2015 23:10:23 +0000 (-0400)
Subject: Merge pull request #1943 from alexrp/profiler-improvements
X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=commitdiff_plain;h=187bc41b1a52f333b5105ba1028e82559c90091b;p=mono.git

Merge pull request #1943 from alexrp/profiler-improvements

Follow-up to #1926
---

187bc41b1a52f333b5105ba1028e82559c90091b