Merge branch 'master' of ssh://git.libre-riscv.org:922/rv32
authorJacob Lifshay <programmerjake@gmail.com>
Wed, 28 Nov 2018 07:57:25 +0000 (23:57 -0800)
committerJacob Lifshay <programmerjake@gmail.com>
Wed, 28 Nov 2018 07:57:25 +0000 (23:57 -0800)

Trivial merge