Merge remote-tracking branch 'origin/master' into release

runtimeverification · Sep 19, 2024 · 8404819 · 8404819
2 parents 4eacd0f + c38bddc
commit 8404819
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/funding.json b/funding.json
@@ -1,5 +1,5 @@
 {
   "opRetro": {
-    "projectId": "0x7348ae42266ff626319e8ea5398343b847603b3cc7101b03d8e4fb2b75ea8db3"
+    "projectId": "0x80393c05d524b7a6f7a78b0c141eadf0759642ae8d7e718134318cd2d73d5464"
   }
 }