Merge pull request #3698 from alexrp/profiler-c9-fixes
authorAlex Rønne Petersen <alex@alexrp.com>
Mon, 3 Oct 2016 22:12:34 +0000 (00:12 +0200)
committerGitHub <noreply@github.com>
Mon, 3 Oct 2016 22:12:34 +0000 (00:12 +0200)
More C9 profiler fixes


Trivial merge