update ci-overlay

tomasstupka · tomasstupka · commit d67bc5e12d76 · 2020-06-29T16:58:41.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : 'abfa99cfe168a9c3efa666f355f3f713a3fdcbd7' }
+{ overlay : '12e669b2cfe591860a79c080c4b2dacab5a67372' }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ overlay : 'abfa99cfe168a9c3efa666f355f3f713a3fdcbd7' }`
	`1`	`+{ overlay : '12e669b2cfe591860a79c080c4b2dacab5a67372' }`