Merge "Align "What's this" vertically"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Sep 2017 20:56:48 +0000 (20:56 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Sep 2017 20:56:48 +0000 (20:56 +0000)
commitd19826aa35b206847a568a4b2c1c9ffaa615fca5
tree2cb13a7d15981aac4c04f5866b2c1a8817a32b11
parent7cce4ab1c56e281fe160f612abccecc0d20fb731
parentf162e47aff7b79acfd77dcfbe2bbc45ce9e33087
Merge "Align "What's this" vertically"
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.ui.FilterMenuSectionOptionWidget.less