Merge branch 'master' of github.com:YosysHQ/yosys
authorEddie Hung <eddie@fpgeh.com>
Fri, 22 Nov 2019 23:13:18 +0000 (15:13 -0800)
committerEddie Hung <eddie@fpgeh.com>
Fri, 22 Nov 2019 23:13:18 +0000 (15:13 -0800)

Trivial merge