Merge "Removing highlighting from mobile rcfilters"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Sep 2019 18:31:41 +0000 (18:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Sep 2019 18:31:41 +0000 (18:31 +0000)
commitcb5acb42ce62b2d600dfb4e11a2982602b670a2f
tree1ef34dff0be01cd1b1ab2ca23aed03ae7f53d83d
parent8a4917968baece3fccf9428ea7fe7e71be5b3858
parent28d50d570a9948dbf555d6749fad6231f5739317
Merge "Removing highlighting from mobile rcfilters"