Merge branch 'master' of libre-riscv.org:/root/libreriscv
authorLuke Leighton <lkcl@lkcl.net>
Sat, 3 Mar 2018 08:18:57 +0000 (08:18 +0000)
committerLuke Leighton <lkcl@lkcl.net>
Sat, 3 Mar 2018 08:18:57 +0000 (08:18 +0000)

Trivial merge