From: jenkins-bot Date: Mon, 16 Apr 2018 03:06:05 +0000 (+0000) Subject: Merge "Remove gadget special-case from preferences cleanup" X-Git-Tag: 1.31.0-rc.0~63 X-Git-Url: http://git.cyclocoop.org/%7B%24www_url%7Dadmin/%22%24encUrl/%22%20.%20chemin_image%28?a=commitdiff_plain;h=4660ce079ca78a66e4ec7386481868a52ecebda5;p=lhc%2Fweb%2Fwiklou.git Merge "Remove gadget special-case from preferences cleanup" --- 4660ce079ca78a66e4ec7386481868a52ecebda5