projects / mono.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2aace5b 2193219)
Merge pull request #5640 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 26 Sep 2017 14:38:51 +0000 (16:38 +0200)
committerGitHub <noreply@github.com>
Tue, 26 Sep 2017 14:38:51 +0000 (16:38 +0200)
[profiler] Fix some buffer size calculations.


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