Merge "Remove obsolete `color` property from horizontal rule"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 15 Apr 2019 20:19:05 +0000 (20:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 15 Apr 2019 20:19:05 +0000 (20:19 +0000)
commit1ce6c003b882301ba978d24a596759bde6d91d20
treefb0a0ddc373aa89b9c979c6f5bdfb83235ad8380
parent4d75fbf3571c765a3d84140cb77b45a86aab3184
parent65b3abe38d211697b79e1e319aecf50bc1d89e7b
Merge "Remove obsolete `color` property from horizontal rule"
resources/src/mediawiki.skinning/elements.css