funding.json: update (#821)

runtimeverification · Sep 19, 2024 · c38bddc · c38bddc
1 parent 098070a
commit c38bddc
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"
   }
 }