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)
commit700b4be883771cecf0ce485246980637805b52dc
tree223884b4b9d8df77a6cb48bb5d952549912309d7
parentd0c98fab566869e53f008af3db49cac11d92db4c
parent4e608fb8f253b7c54abe18c9a2ccca0a4a0e160f
Merge pull request #5610 from alexrp/master

[Mono.Profiler.Log] Some performance improvements.