Merge "Prepare for REL1_31 cut, labelling master as 1.32-alpha"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 17 Apr 2018 21:28:04 +0000 (21:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 17 Apr 2018 21:28:04 +0000 (21:28 +0000)
commitfc24df34f6921addc6be1c2c0f7b2335bb8c3d46
treea860429a6a5d5372676401ba128fcd9ddbc5758e
parent8519b66979096124a4a6e1720937a501d720fd5b
parent8b1a3ddd97ef99a7de2a5221de63e3874baee2cb
Merge "Prepare for REL1_31 cut, labelling master as 1.32-alpha"
includes/DefaultSettings.php