Merge "Add new index to make updateCollation.php painless"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 23 Mar 2016 00:56:01 +0000 (00:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 23 Mar 2016 00:56:01 +0000 (00:56 +0000)
commit627b6fd2af292ac9f25ff06b134302f0d5cc7f67
treea79038e1fe91455b73a0b06f0d951f79e99ec489
parent4a3d9794a03b8776a9ac1d1328e46a81897a6404
parenteec016ece6d2b30addcdf3d3efcc2ba59b10e858
Merge "Add new index to make updateCollation.php painless"