Merge branch 'master' of github.com:YosysHQ/yosys
authorEddie Hung <eddie@fpgeh.com>
Tue, 9 Jul 2019 02:26:43 +0000 (19:26 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 9 Jul 2019 02:26:43 +0000 (19:26 -0700)

Trivial merge