Merge branch 'master' of git.libre-soc.org:libreriscv
authorAlain D D Williams <addw@phcomp.co.uk>
Mon, 12 Apr 2021 20:47:50 +0000 (21:47 +0100)
committerAlain D D Williams <addw@phcomp.co.uk>
Mon, 12 Apr 2021 20:47:50 +0000 (21:47 +0100)

Trivial merge