Merge pull request #5063 from alexrp/profiler-format-changes
authorAlex Rønne Petersen <alex@alexrp.com>
Mon, 19 Jun 2017 22:46:50 +0000 (00:46 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Jun 2017 22:46:50 +0000 (00:46 +0200)
commitbcd8b38b57c7a2102300e08508e51762b26029b5
tree172492dc54f6427472f5d5346e1f404d27ae3734
parent533bcc0c495e23442081a8f9c49ebfef4d2fadde
parenta308a7cd22e8ea861585f2e07a69a20d348cdf99
Merge pull request #5063 from alexrp/profiler-format-changes

[profiler] A few small format changes