Merge branch 'master' of ssh://libre-riscv.org:922/ieee754fpu
authorAleksandar Kostovic <alexandar.kostovic@gmail.com>
Fri, 15 Mar 2019 15:12:34 +0000 (16:12 +0100)
committerAleksandar Kostovic <alexandar.kostovic@gmail.com>
Fri, 15 Mar 2019 15:12:34 +0000 (16:12 +0100)

Trivial merge