From 4f61dc01bcda86bd5fd36d5fb37ebfe6d96dd711 Mon Sep 17 00:00:00 2001
From: cardano-devops-readonly
 <43785016+cardano-devops-readonly@users.noreply.github.com>
Date: Mon, 17 Jan 2022 03:13:22 -0700
Subject: [PATCH] plutusStaging: Bump plutus to
 def7f30127ee5e6af570230548d4a37e03a1256b

---
 revisions/plutusStaging/plutus.cue | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/revisions/plutusStaging/plutus.cue b/revisions/plutusStaging/plutus.cue
index 64153086..86817b9b 100644
--- a/revisions/plutusStaging/plutus.cue
+++ b/revisions/plutusStaging/plutus.cue
@@ -1,3 +1,3 @@
 package plutusStaging
 
-plutus: "6aff97d596ac9d59460aab5c65627b1c8c0a1528"
+plutus: "def7f30127ee5e6af570230548d4a37e03a1256b"