Merge branch 'rmports' of https://github.com/azonenberg/yosys into azonenberg-rmports
authorClifford Wolf <clifford@clifford.at>
Tue, 15 Aug 2017 09:19:55 +0000 (11:19 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 15 Aug 2017 09:19:55 +0000 (11:19 +0200)

Trivial merge