Merge "Introduce Maintenance::getBatchSize()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 7 Nov 2017 06:07:25 +0000 (06:07 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 7 Nov 2017 06:07:25 +0000 (06:07 +0000)
commitf5baf27bb89a4306e77e7ad1183791f775888199
treecdc08a4820eb335aed3e433b94c351914c1ea221
parentb831ba8d771978cf7a6313a6ad3e192912a56533
parentdac20d0ffab5a850563d3fb02331a927e42a2bd9
Merge "Introduce Maintenance::getBatchSize()"