Merge branch 'master' of ssh://libre-riscv.org:922/ieee754fpu
authorAleksandar Kostovic <alexandar.kostovic@gmail.com>
Fri, 5 Apr 2019 05:16:06 +0000 (07:16 +0200)
committerAleksandar Kostovic <alexandar.kostovic@gmail.com>
Fri, 5 Apr 2019 05:16:06 +0000 (07:16 +0200)

Trivial merge