Merge "RCFilters: Allows specifying default highlights from the server"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 4 Oct 2017 20:58:42 +0000 (20:58 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 4 Oct 2017 20:58:42 +0000 (20:58 +0000)
commit7d8766e80e670e9e408a25694ed5d24975b63864
treebd72a2a4c69a057c1e96ae1508b9b3ff9d682a18
parent3374d9e6007794e7239a9256b2a7bf993f76f300
parent8937a72df713921e1287042feb610c4ded253f1e
Merge "RCFilters: Allows specifying default highlights from the server"