Merge "RELEASE-NOTES-1.32: Add entries for all changes to DefaultSettings.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 17 Oct 2018 02:46:00 +0000 (02:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 17 Oct 2018 02:46:00 +0000 (02:46 +0000)
commite365ccede6e702d457b50ce0b0f4b3811263012c
treef9de65a86502d2335b55f86827ea21447f6f311f
parent50d87ad2f809f9052fce4a18b02e0ddb7a58aec9
parentc1eb51dcd915f108f153d32b5d4153049a0c6d28
Merge "RELEASE-NOTES-1.32: Add entries for all changes to DefaultSettings.php"
RELEASE-NOTES-1.32