Merge "Preferences: Improve visual appearance by “unboxing” sections"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Nov 2017 23:05:43 +0000 (23:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Nov 2017 23:05:43 +0000 (23:05 +0000)
commitfa577b65f2eea8ae4eb5294e5a57c9a35bfb0452
tree3f8f08185b7cea219172b00fc9f075024af92b18
parentc9be16a35596ff369bb5f700c20ae8dc2f7def48
parentc9415bb0059f4dae4abc5e39a8af844328333120
Merge "Preferences: Improve visual appearance by “unboxing” sections"