Merge "RCFilters: Explicitly set the default highlight color to null"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 11 Jul 2018 18:57:31 +0000 (18:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 11 Jul 2018 18:57:31 +0000 (18:57 +0000)
commitea10fb5705adc5989d5af03c5c1bc12ff56a9d0a
tree6ce8ad3c688d202b5e66bf731d9b7d805399ac8f
parent88f469624df1c65546d923e62b4550415826c458
parent2b363541ae1ad6955e9d90ac929c2f5e9f8de148
Merge "RCFilters: Explicitly set the default highlight color to null"