Merge "Remove maintenance script fixSlaveDesync.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Aug 2015 17:12:03 +0000 (17:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Aug 2015 17:12:03 +0000 (17:12 +0000)
commit4432471dab06b185f9e4f25b54b806e4840a0998
treebba76d150c36744bb1ca928535aba4726c817a5b
parent4f9e3356b37084ed2e36229806ef4fef07f5109d
parenta7cb31718818113127d92f126f7355bf1c442632
Merge "Remove maintenance script fixSlaveDesync.php"