From 292906f3bb3ce60190e3658c5d0dcdbf04454208 Mon Sep 17 00:00:00 2001
From: Denis Rouzaud <denis.rouzaud@gmail.com>
Date: Mon, 16 Jul 2018 07:48:07 +0200
Subject: [PATCH] plugin ci

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

diff --git a/plugin_ci b/plugin_ci
index 608407ee..4222c808 160000
--- a/plugin_ci
+++ b/plugin_ci
@@ -1 +1 @@
-Subproject commit 608407eef8a75051b63ae7b388ec447674827e0c
+Subproject commit 4222c808c5ca20e5efbeca9eef1024c153e8187c