projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9c79e7a 16385fe)
Merge pull request #5216 from alexrp/profiler-runtime-settings
authorAlex Rønne Petersen <alex@alexrp.com>
Mon, 17 Jul 2017 17:15:13 +0000 (19:15 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2017 17:15:13 +0000 (19:15 +0200)
[profiler] Introduce runtime control API.


Trivial merge
my mono mirror. check out Moved to http://github.com/mono/mono