From c3f39ca41c758af64f8748e5f6674d1b98a381f6 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 23 Jun 2018 00:15:35 +0200
Subject: [PATCH] update CI

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

diff --git a/ci b/ci
index 8324acef..1664067b 160000
--- a/ci
+++ b/ci
@@ -1 +1 @@
-Subproject commit 8324acefba3ffef86b4c5eca3c961ce69dc4dd02
+Subproject commit 1664067bf3f01bd7a081874d26c21e26ad2a3bbf
-- 
GitLab