From: jenkins-bot Date: Tue, 3 Sep 2019 18:31:41 +0000 (+0000) Subject: Merge "Removing highlighting from mobile rcfilters" X-Git-Tag: 1.34.0-rc.0~415 X-Git-Url: http://git.cyclocoop.org/data/%24%7Bnav_urls/projects/%28?a=commitdiff_plain;h=cb5acb42ce62b2d600dfb4e11a2982602b670a2f;p=lhc%2Fweb%2Fwiklou.git Merge "Removing highlighting from mobile rcfilters" --- cb5acb42ce62b2d600dfb4e11a2982602b670a2f