Merge branch 'master' of https://github.com/mmicko/yosys into yosys-0.8-rc
authorClifford Wolf <clifford@clifford.at>
Sun, 23 Sep 2018 08:04:37 +0000 (10:04 +0200)
committerClifford Wolf <clifford@clifford.at>
Sun, 23 Sep 2018 08:04:37 +0000 (10:04 +0200)

Trivial merge