Merge branch 'master' of libre-riscv.org:libresoc-isa-manual
authorAlain D D Williams <addw@phcomp.co.uk>
Wed, 19 Aug 2020 17:23:22 +0000 (18:23 +0100)
committerAlain D D Williams <addw@phcomp.co.uk>
Wed, 19 Aug 2020 17:23:22 +0000 (18:23 +0100)

Trivial merge