Merge branch 'master' of git.libre-soc.org:libreriscv
authorCole Poirier <colepoirier@gmail.com>
Tue, 28 Jul 2020 20:22:19 +0000 (13:22 -0700)
committerCole Poirier <colepoirier@gmail.com>
Tue, 28 Jul 2020 20:22:19 +0000 (13:22 -0700)

Trivial merge