[GR-24018] Update ci overlay.

steve-s · steve-s · commit c416fbad0949 · 2020-07-03T08:30:12.000Z
PullRequest: graalpython/1095
diff --git a/ci.jsonnet b/ci.jsonnet
@@ -1 +1 @@
-{ "overlay": "474e3e45e1ced1a774444e8b19a5e44c88df8f14" }
+{ "overlay": "cbc1e04ea1e0921b55c5fa3c7fe92b2c699d8cfa" }

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-{ "overlay": "474e3e45e1ced1a774444e8b19a5e44c88df8f14" }`
	`1`	`+{ "overlay": "cbc1e04ea1e0921b55c5fa3c7fe92b2c699d8cfa" }`