Merge pull request #5224 from alexrp/profiler-multiple-args
authorAlex Rønne Petersen <alex@alexrp.com>
Tue, 18 Jul 2017 22:39:40 +0000 (00:39 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Jul 2017 22:39:40 +0000 (00:39 +0200)
commitaabcc3e60ebb0c6ed181398b5b7bb9f12fa889df
tree3353f75a3b502e7184e933e36ce863d7903ff035
parentd1555c7c72e280bcdc1b61ea42266042107dc749
parent918da31c51fef332595dd2865465c8af9cbcbecc
Merge pull request #5224 from alexrp/profiler-multiple-args

[profiler] Better support for multiple profilers.