From: Alex Rønne Petersen <alex@alexrp.com>
Date: Sat, 15 Jul 2017 11:33:20 +0000 (+0200)
Subject: Merge pull request #5210 from alexrp/profiler-runtime-settings
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=caa28c999c79505df8c984b60916b109d2ecdcd2

Merge pull request #5210 from alexrp/profiler-runtime-settings

[profiler] Housecleaning
---

caa28c999c79505df8c984b60916b109d2ecdcd2