From: Rodrigo Kumpera <kumpera@users.noreply.github.com>
Date: Mon, 12 Jun 2017 17:07:24 +0000 (-0700)
Subject: Merge pull request #4967 from kumpera/profiler-arg-cleanup
X-Git-Url: http://wien.tomnetworks.com/gitweb/?p=mono.git;a=commitdiff_plain;h=e1b061052dccfc4c1340942f5b64a6216b9beb38

Merge pull request #4967 from kumpera/profiler-arg-cleanup

Rework profiler argument handling.
---

e1b061052dccfc4c1340942f5b64a6216b9beb38