Change kmir branch from `master` to `release`#139

automergerpr-permission-manager[bot] merged 1 commit intomasterruntimeverification/kup:masterfrom

kmir-change-master-to-releaseruntimeverification/kup:kmir-change-master-to-releaseCopy head branch name to clipboard