[MediaWiki-commits] [Gerrit] mediawiki/core[master]: benchmarks: Minor clean up

2017-04-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/349121 ) Change subject: benchmarks: Minor clean up .. benchmarks: Minor clean up Change-Id: I446ae1a9d9cdb6b26a6bb62367a432cea082f343 -

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: benchmarks: Minor clean up

2017-04-19 Thread Krinkle (Code Review)
Krinkle has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/349121 ) Change subject: benchmarks: Minor clean up .. benchmarks: Minor clean up Change-Id: I446ae1a9d9cdb6b26a6bb62367a432cea082f343 --- M mainten