projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 9b4b6d6 903644f)
Merge pull request #5210 from alexrp/profiler-runtime-settings
authorAlex Rønne Petersen <alex@alexrp.com>
Sat, 15 Jul 2017 11:33:20 +0000 (13:33 +0200)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2017 11:33:20 +0000 (13:33 +0200)
[profiler] Housecleaning


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