Merge "Deprecate $wgMasterWaitTimeout"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 12 Jun 2014 18:23:50 +0000 (18:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 12 Jun 2014 18:23:50 +0000 (18:23 +0000)
commitc417e7d8f3d8c6f23e1b5265868a8fd5f490f2d4
tree62ec69ed10e99afd2650a2f7fa91971831cd47fe
parent68ce4da189813c734900e556b1b2a2382f54b6e9
parent28f77aebe6ecef3bc0859e9687ef5470423835b2
Merge "Deprecate $wgMasterWaitTimeout"