Merge "Prepare for REL1_32 cut, labelling master as 1.33-alpha"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Oct 2018 01:52:30 +0000 (01:52 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Oct 2018 01:52:30 +0000 (01:52 +0000)
commit50d87ad2f809f9052fce4a18b02e0ddb7a58aec9
treec9cafe8168d6216d9e4b854d6313aeb976602df0
parenta781351c2880d00e5e75d9eab95287645e291d00
parent6e04121078d56b05dcc5906a1d4bd07dce4f1f42
Merge "Prepare for REL1_32 cut, labelling master as 1.33-alpha"
includes/DefaultSettings.php