Merge pull request #64 from tweag/update-channel-pin/master

Update pinned channel commit
tweag · Aug 28, 2023 · d332053 · d332053
2 parents 0d4da16 + 4fb4ed5
commit d332053
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/channel/pin.json b/lib/channel/pin.json
@@ -1,4 +1,4 @@
 {
-  "rev": "fbd622ff29c52a591f9f7c110f2694b18c5590b3",
-  "sha256": "1f3f0y0lvndmxqna0dbvdfdwy4czfc7bw0s0sfwcq9w9m2bc0jc2"
+  "rev": "0d4da16797cb8abb932203745ea17160c4964d95",
+  "sha256": "1rh0zmzq5ylqlcdhi1k0drjhjf7zfxfynswv46m7mv7hya6qgxzw"
 }