Merge "Special:Preferences: Reduce PanelLayout border contrast slightly"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Sep 2018 17:10:12 +0000 (17:10 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 19 Sep 2018 17:10:12 +0000 (17:10 +0000)
commite44151068e57f84a345d3a3e39f37c6c56a86f95
tree1d8b001f53a7abb0fa7f27bef453e8ddbaa817b8
parent27cb4c5ee2a611b68d74d7d28d6dd39af4abe1fe
parentbe2734b548a55274ba4932214e774b981df842e9
Merge "Special:Preferences: Reduce PanelLayout border contrast slightly"