Skip to content

chore(mir-semantics): bump submodule for close-account multisig volatile write fix#182

Draft
Stevengre wants to merge 1 commit intoruntimeverification:proofsfrom
Stevengre:jh/close-account-multisig-write-volatile-array
Draft

chore(mir-semantics): bump submodule for close-account multisig volatile write fix#182
Stevengre wants to merge 1 commit intoruntimeverification:proofsfrom
Stevengre:jh/close-account-multisig-write-volatile-array