Merge branch 'master' of https://github.com/bogdanvuk/yosys into clifford/ext1046
authorClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 11:04:04 +0000 (13:04 +0200)
committerClifford Wolf <clifford@clifford.at>
Thu, 20 Jun 2019 11:04:04 +0000 (13:04 +0200)

Trivial merge