Merge "Remove $wgDBClusterTimeout"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Jun 2014 20:46:59 +0000 (20:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Jun 2014 20:46:59 +0000 (20:46 +0000)
commit9df760c49892f5664c6918ecb2aa22ebf3b24e1e
tree9d006551ce4e578b1b49c22d9f17849a9d88bf75
parent0f787e74f6e66a16ef4bc23937ee7ec647f4ab8b
parentf18bed451d12b31782936c69383ee01d10f1cf55
Merge "Remove $wgDBClusterTimeout"