From 9fd93ea8432e7efa8ce924eac5ef14efcd294740 Mon Sep 17 00:00:00 2001
From: Denis Rouzaud <denis.rouzaud@gmail.com>
Date: Fri, 13 Jul 2018 14:20:21 +0200
Subject: [PATCH] fix push to github

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

diff --git a/plugin_ci b/plugin_ci
index fe8697ef..70fd6a3d 160000
--- a/plugin_ci
+++ b/plugin_ci
@@ -1 +1 @@
-Subproject commit fe8697ef4fbb02f7d2c9df0946360f59a3d56ad7
+Subproject commit 70fd6a3d646f11a0176f01b32a3531a6f3a008fe