Merge "RCFilters: Improve circle mixin and change to new standard icon size"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 10 Oct 2018 22:09:02 +0000 (22:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 10 Oct 2018 22:09:02 +0000 (22:09 +0000)
commit37e1fffd827b483f805c6c5296155768a74a2bc6
treeedc7f4aa77e1dbb325d7fde2426f603fe5c2722a
parent555a5149f139adccfd9287efcda3ae38f91a57b3
parentd6ff526ae39b4b460d800169ba1640d20b084b8a
Merge "RCFilters: Improve circle mixin and change to new standard icon size"