Update overlay commit

steve-s · steve-s · commit 3dacc2c1b496 · 2020-07-03T18:09:25.000+02:00
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ overlay : '12e669b2cfe591860a79c080c4b2dacab5a67372' }
+{ overlay : '5afd306b544e947fdee6faa05aef20b600b85d54' }

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