Merge "RCFilters UI: Add highlight icon"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 6 Mar 2017 19:41:37 +0000 (19:41 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 6 Mar 2017 19:41:37 +0000 (19:41 +0000)
commit28348d6cf0c6e0482e94bb924c12926b390bd0e7
tree52fa4f6367e9fca0c9ea91b55d25fa5aa08b2516
parentb9c17438d9c0a3e2cc5d0f83cfec5df547b65d9c
parent0e0d7dd4e204ecde37849e58508c5cb51198049e
Merge "RCFilters UI: Add highlight icon"