[GR-10390] Update CI overlay.

Stefan Anzinger · Stefan Anzinger · commit 8bd0626be840 · 2018-08-22T03:15:08.000-07:00
PullRequest: graalpython/169
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1,5 +1,5 @@
 {
-  overlay: "c4217534963c6053d41e5fd046aeb4dbfc71f517",
+  overlay: "c3f1ef1ed72e05b6096e935e9c87cb05855ac5ea",
 
   // ======================================================================================================
   // 
