Merge branch 'xc7dsp' of github.com:YosysHQ/yosys into xc7dsp
authorDavid Shah <dave@ds0.me>
Thu, 8 Aug 2019 10:40:09 +0000 (11:40 +0100)
committerDavid Shah <dave@ds0.me>
Thu, 8 Aug 2019 10:40:09 +0000 (11:40 +0100)

Trivial merge