From: jenkins-bot Date: Tue, 17 Jul 2018 20:40:03 +0000 (+0000) Subject: Merge "Introduce preference filters" X-Git-Tag: 1.34.0-rc.0~4740 X-Git-Url: http://git.cyclocoop.org/data/Fool?a=commitdiff_plain;h=65df7e5714c11f08270fcab056d7282229c4db7f;p=lhc%2Fweb%2Fwiklou.git Merge "Introduce preference filters" --- 65df7e5714c11f08270fcab056d7282229c4db7f