From: jenkins-bot Date: Tue, 30 May 2017 21:03:16 +0000 (+0000) Subject: Merge "RCFilters: Unify 'highlight' and 'selected' items" X-Git-Tag: 1.31.0-rc.0~3093 X-Git-Url: http://git.cyclocoop.org/data/%24oldEdit?a=commitdiff_plain;h=a3a4c908b601bd5124ac6947eab131602b102665;p=lhc%2Fweb%2Fwiklou.git Merge "RCFilters: Unify 'highlight' and 'selected' items" --- a3a4c908b601bd5124ac6947eab131602b102665