From: jenkins-bot Date: Thu, 12 Apr 2018 16:07:07 +0000 (+0000) Subject: Merge "RCFilters: Convert patrolled filter to three states" X-Git-Tag: 1.31.0-rc.0~108 X-Git-Url: http://git.cyclocoop.org/%22%24h/%22/ntitle=/%22%24t/%24file?a=commitdiff_plain;h=008062c87cb4b400fcb5df0caf137bf2964a28e3;p=lhc%2Fweb%2Fwiklou.git Merge "RCFilters: Convert patrolled filter to three states" --- 008062c87cb4b400fcb5df0caf137bf2964a28e3