Merge "RCFilters UI: Dash the border 'none' highlight"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 28 Feb 2017 19:41:46 +0000 (19:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 28 Feb 2017 19:41:47 +0000 (19:41 +0000)
commit7dc9d3dacf1faf2a8ffc69e677afe4ea16c4e92e
tree4fad394cae48d8a933bbd32058393d8c4a9bd832
parent029dc81f415fb4ae8de26ee7b5c59486ec6ee63b
parent82ca415a8a31e45823a324edc6f185a067c2704f
Merge "RCFilters UI: Dash the border 'none' highlight"