From: jenkins-bot Date: Sat, 14 Apr 2018 02:27:05 +0000 (+0000) Subject: Merge "Add an "editor" extension type" X-Git-Tag: 1.31.0-rc.0~72 X-Git-Url: http://git.cyclocoop.org/?a=commitdiff_plain;h=19067a0c91bae06a2550118af35a343b38c61076;p=lhc%2Fweb%2Fwiklou.git Merge "Add an "editor" extension type" --- 19067a0c91bae06a2550118af35a343b38c61076