update ci.overlay

cosminbasca · cosminbasca · commit 715b0a23c4ef · 2019-05-22T12:57:59.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1,5 +1,5 @@
 {
-  overlay: "bf72da98b99c9f367e7d749e12d189e3405c6853",
+  overlay: "7ce2f84506ab26228b09f0638afd716a56f389da",
 
   // ======================================================================================================
   //
