Both branches are identical, but git does not seem to realize that#44

joseemoreira merged 8 commits intoriscv:mainriscv/integrated-matrix-extension:mainfrom

joseemoreira:mainjoseemoreira/integrated-matrix-extension:mainCopy head branch name to clipboard