Merge "profiler: Centralise output responsibility from ProfilerOutputText to Profiler"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 29 Aug 2019 05:25:40 +0000 (05:25 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Aug 2019 05:25:40 +0000 (05:25 +0000)
commitb4675c6125736c11b5a4c14c25a2bfaf41102264
treed3bec848a72c6d0d913603bd4804adf08fbec479
parentd7fbea76fd3741b83b4ca1a758e16652625ed188
parent8a87ec277858c4e72e8f654627c5363ec979771b
Merge "profiler: Centralise output responsibility from ProfilerOutputText to Profiler"