Merge "RCFilters: Cleanup 'Namespaces' dropdown borders appearance"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 26 Oct 2018 10:50:33 +0000 (10:50 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 26 Oct 2018 10:50:33 +0000 (10:50 +0000)
commit33fa9ff95044b874b630f52c8dcd81efae94dbab
treee0c958bbe6b1f17f7cd99988a9f9132d24b431ce
parentf96aaf6833d052d10d46af47540fff995362433e
parent0233868b9538307d7af35a120e75e200dd64267e
Merge "RCFilters: Cleanup 'Namespaces' dropdown borders appearance"