Merge "RCFilters UI: Correct filter name font-size"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 2 Mar 2017 06:46:07 +0000 (06:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 2 Mar 2017 06:46:07 +0000 (06:46 +0000)
commit1949b15d1a762464186c7ce658a6a9d3c33cab06
tree0bf0f7e4ea33d5f555b5b6062af12c9f608533c6
parent4b0062f099782793f8ea9a58f0448f819be2bcb8
parenta4eb6dc014708aa7fb17be58937490e58a41ee00
Merge "RCFilters UI: Correct filter name font-size"
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterItemWidget.less