projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d2b64bb f4346eb)
Merge pull request #5072 from alexrp/profiler-stability
authorAlex Rønne Petersen <alex@alexrp.com>
Wed, 21 Jun 2017 00:06:28 +0000 (02:06 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Jun 2017 00:06:28 +0000 (02:06 +0200)
[profiler] A bunch of profiler bug/stability fixes.


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