projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d0c98fa 4e608fb)
Merge pull request #5610 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Wed, 20 Sep 2017 16:57:16 +0000 (18:57 +0200)
committerGitHub <noreply@github.com>
Wed, 20 Sep 2017 16:57:16 +0000 (18:57 +0200)
[Mono.Profiler.Log] Some performance improvements.


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