Merge pull request #5210 from alexrp/profiler-runtime-settings
authorAlex Rønne Petersen <alex@alexrp.com>
Sat, 15 Jul 2017 11:33:20 +0000 (13:33 +0200)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2017 11:33:20 +0000 (13:33 +0200)
commitcaa28c999c79505df8c984b60916b109d2ecdcd2
treea2c64f4667034e5a510a9e7059ca75a03a171840
parent9b4b6d621101fdf06e41b0f76b1ad50b0d1149f2
parent903644f8f1772f7d9edc5600c1c8b4acda684dbe
Merge pull request #5210 from alexrp/profiler-runtime-settings

[profiler] Housecleaning