Merge branch 'master' of git.libre-soc.org:libreriscv
authorAlain D D Williams <addw@phcomp.co.uk>
Tue, 30 Mar 2021 17:29:57 +0000 (18:29 +0100)
committerAlain D D Williams <addw@phcomp.co.uk>
Tue, 30 Mar 2021 17:29:57 +0000 (18:29 +0100)

Trivial merge