projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d1555c7 918da31)
Merge pull request #5224 from alexrp/profiler-multiple-args
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 18 Jul 2017 22:39:40 +0000 (00:39 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Jul 2017 22:39:40 +0000 (00:39 +0200)
[profiler] Better support for multiple profilers.


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