Merge "profiler: Rename Profile::setTemplated to Profile::setAllowOutput"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 28 Aug 2019 08:44:12 +0000 (08:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 28 Aug 2019 08:44:12 +0000 (08:44 +0000)
commit909b70a7c5c7b896b981da8a65cce57724b3715e
tree1a61e04cfa5e19de9eaa80512c688e20694683ae
parent04e38601d49600afca538b4e638a7f2937ef45cc
parentbc7c85d609b9b629d73e188a5c99ead51aaf88d2
Merge "profiler: Rename Profile::setTemplated to Profile::setAllowOutput"