plutusStaging: Bump plutus to c8a3126f7b72d8384f7ce3c896fdb920a20bc7af

input-output-hk · Feb 10, 2023 · 71bf0b7 · 71bf0b7
1 parent 8093611
commit 71bf0b7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/revisions/plutusStaging/plutus.cue b/revisions/plutusStaging/plutus.cue
@@ -1,3 +1,3 @@
 package plutusStaging
 
-plutus: "0b0326a8e86afbe2d266bc79d8834208b8ff1a47"
+plutus: "c8a3126f7b72d8384f7ce3c896fdb920a20bc7af"