Merge branch 'yosys-0.8-rc'
authorClifford Wolf <clifford@clifford.at>
Tue, 16 Oct 2018 14:40:10 +0000 (16:40 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 16 Oct 2018 14:40:10 +0000 (16:40 +0200)

Trivial merge