Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys
authorClifford Wolf <clifford@clifford.at>
Sun, 30 Sep 2018 16:44:07 +0000 (18:44 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 30 Sep 2018 16:44:07 +0000 (18:44 +0200)

Trivial merge