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