Merge "Align other review tools and saved filters buttons"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Nov 2017 19:28:02 +0000 (19:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Nov 2017 19:28:02 +0000 (19:28 +0000)
commit92d74e7df73af3605d3413c2584a519f3e805d98
tree15cab1e8c6ff63a131ad1ba42f65d1a834b757ba
parentc4421781f71307c0290e3ab1046c2d69d03887dc
parente4e0579cc78951dab4d2f4e8990a37163d58f71c
Merge "Align other review tools and saved filters buttons"
resources/src/mediawiki.rcfilters/styles/mw.rcfilters.less