plutusStaging: Bump plutus to 7f5a094deb113512e21a9cc122500721dbc4b1f9

input-output-hk · Oct 27, 2022 · 783afc3 · 783afc3
1 parent f3eb7c3
commit 783afc3
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: "826fad8f2028f367e3969d74229e9c9c80d6ea7a"
+plutus: "7f5a094deb113512e21a9cc122500721dbc4b1f9"