Update CI overlay

steve-s · steve-s · commit 1c450d2c181e · 2021-03-19T16:52:27.000+01:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : 'edbfb9390d14203147fc396db004b0daa72b22b6' }
+{ overlay : '73a1fe07a73e6a9005abc426c5bfd950bddb6f5c' }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ overlay : 'edbfb9390d14203147fc396db004b0daa72b22b6' }`
	`1`	`+{ overlay : '73a1fe07a73e6a9005abc426c5bfd950bddb6f5c' }`