Merge branch 'master' of git.libre-soc.org:libreriscv
authorAndrey Miroshnikov <andrey@technepisteme.xyz>
Wed, 8 Jun 2022 20:09:30 +0000 (21:09 +0100)
committerAndrey Miroshnikov <andrey@technepisteme.xyz>
Wed, 8 Jun 2022 20:09:30 +0000 (21:09 +0100)

Trivial merge