add work about modification of multisig

2 jobs for master in 4 minutes and 9 seconds (queued for 1 minute and 21 seconds)
latest
Status Job ID Name Coverage
  Build
passed #192746938
coq:8.8

00:03:48

passed #192746939
coq:8.9

00:04:09