projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 537a24f fe29d23)
Merge pull request #5360 from urisimchoni/fix-mon
authorAlex Rønne Petersen <alex@alexrp.com>
Sun, 13 Aug 2017 11:56:09 +0000 (13:56 +0200)
committerGitHub <noreply@github.com>
Sun, 13 Aug 2017 11:56:09 +0000 (13:56 +0200)
[profiler] Fix log profiler SetMonitorEvents icall


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