Merge branch 'master' of github.com:YosysHQ/yosys
authorEddie Hung <eddie@fpgeh.com>
Sat, 7 Sep 2019 05:52:00 +0000 (22:52 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 7 Sep 2019 05:52:00 +0000 (22:52 -0700)

Trivial merge