Merge pull request #5216 from alexrp/profiler-runtime-settings
authorAlex Rønne Petersen <alex@alexrp.com>
Mon, 17 Jul 2017 17:15:13 +0000 (19:15 +0200)
committerGitHub <noreply@github.com>
Mon, 17 Jul 2017 17:15:13 +0000 (19:15 +0200)
commit9f2c4f328db33b7042a04dffd25784ece5bf40f0
tree42d26da3a9c1dea9490d6fc159c61b9066e2e623
parent9c79e7a3aea7ca75dd74fb966f4084110ad5007d
parent16385fe576eac3ff07af7781b6bb86c9696b4579
Merge pull request #5216 from alexrp/profiler-runtime-settings

[profiler] Introduce runtime control API.