Merge branch 'master' of ssh://git.libre-riscv.org:922/soc
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Jul 2020 19:30:11 +0000 (12:30 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 17 Jul 2020 19:30:11 +0000 (12:30 -0700)

Trivial merge