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

Update pinned channel commit
tweag · Aug 28, 2023 · 77a6c23 · 77a6c23
2 parents fbd622f + b0b8dc7
commit 77a6c23
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": "f6686b969dbe60d8dd72c6f1ebeeadc20c524bcb",
-  "sha256": "0cx94ixvyq8v5a9zgx003g65g7jxpl5dmfl5rcq2zvr29z9zdn1d"
+  "rev": "fbd622ff29c52a591f9f7c110f2694b18c5590b3",
+  "sha256": "1f3f0y0lvndmxqna0dbvdfdwy4czfc7bw0s0sfwcq9w9m2bc0jc2"
 }