Update overlay

steve-s · steve-s · commit f5927f3436e8 · 2020-03-06T18:19:15.000+01:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : 'e08c38037f73987b1b9507657f2b573e215448ad' }
+{ overlay : '5f7a0274003d6ce862f15e34a42ffcaff31aca2a' }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ overlay : 'e08c38037f73987b1b9507657f2b573e215448ad' }`
	`1`	`+{ overlay : '5f7a0274003d6ce862f15e34a42ffcaff31aca2a' }`