From 33e9651344d8b35b4d23347af93010c1e8ce57b5 Mon Sep 17 00:00:00 2001
From: Denis Rouzaud <denis.rouzaud@gmail.com>
Date: Fri, 27 Jul 2018 19:09:40 +0200
Subject: [PATCH] fix plugin CI

---
 plugin_ci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugin_ci b/plugin_ci
index 8733b4c6..3c74ff8f 160000
--- a/plugin_ci
+++ b/plugin_ci
@@ -1 +1 @@
-Subproject commit 8733b4c6704089eff5ae1a8580a98c65cdff131d
+Subproject commit 3c74ff8f2c16733faf34082f42ea8d1c15aa4eca