production: Bump plutus to 9e10767c9611ac718460f4727d4a2d2d20e8b33d

input-output-hk · Sep 16, 2021 · 9fdec31 · 9fdec31
1 parent ff1e0b0
commit 9fdec31
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/revisions/production.cue b/revisions/production.cue
@@ -1,3 +1,3 @@
 package revisions
 
-production: "7e33921f3d14f220f651ac0af66fb54361bf9092"
+"production": "9e10767c9611ac718460f4727d4a2d2d20e8b33d"