Merge https://github.com/YosysHQ/yosys into bram_xilinx
authorDiego H <diego@symbioticeda.com>
Thu, 12 Dec 2019 19:40:05 +0000 (13:40 -0600)
committerDiego H <diego@symbioticeda.com>
Thu, 12 Dec 2019 19:40:05 +0000 (13:40 -0600)

Trivial merge