Change the number of signers from 11 to 3 - #982

Change the number of signers from 11 to 3#982

automergerpr-permission-manager[bot] merged 1 commit into

feature/p-tokenruntimeverification/mir-semantics:feature/p-tokenfrom

mk/num-signers-3runtimeverification/mir-semantics:mk/num-signers-3Copy head branch name to clipboard