Merge pull request #5317 from alexrp/master
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 8 Aug 2017 06:55:11 +0000 (08:55 +0200)
committerGitHub <noreply@github.com>
Tue, 8 Aug 2017 06:55:11 +0000 (08:55 +0200)
commit5ac651e7b47c855011b5ffadeb4f031e39865edc
tree49002120305d47881fec4726b6e1e15ec3fe33b9
parent56a1881bff83365978e7eb30d18da8809b56c1e2
parenta5bc0ce8a0faf81e0a46f9c7d9d7a0913298c057
Merge pull request #5317 from alexrp/master

[profiler] Some profiler API improvements.
mono/mini/mini.h