projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 076e44a 3a7874c)
Merge pull request #5088 from alexrp/profiler-lightweight-coverage
authorAlex Rønne Petersen <alex@alexrp.com>
Thu, 6 Jul 2017 23:09:15 +0000 (01:09 +0200)
committerGitHub <noreply@github.com>
Thu, 6 Jul 2017 23:09:15 +0000 (01:09 +0200)
[profiler] No longer use enter/leave instrumentation for code coverage.


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