Merge "Increase cleanupTitles.php batch size"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 26 May 2018 23:09:05 +0000 (23:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 26 May 2018 23:09:05 +0000 (23:09 +0000)
commit150347f79cec6ef6c9658c1c5575fcee7d267c31
tree904dac29a07dbc77330d4db77c7057aeb9ae2dd0
parente00f0a88f8086de455cb0f71e0ff3f63c57b6a6a
parent3391c0bc1e628c47b26665e20cfed39458ad4e38
Merge "Increase cleanupTitles.php batch size"