plutusStaging: Bump plutus to def7f30127ee5e6af570230548d4a37e03a1256b

input-output-hk · Jan 17, 2022 · 4f61dc0 · 4f61dc0
1 parent 8a579fe
commit 4f61dc0
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: "6aff97d596ac9d59460aab5c65627b1c8c0a1528"
+plutus: "def7f30127ee5e6af570230548d4a37e03a1256b"