Merge branch 'master' of github.com:YosysHQ/yosys
authorEddie Hung <eddie@fpgeh.com>
Wed, 1 May 2019 23:26:43 +0000 (16:26 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 1 May 2019 23:26:43 +0000 (16:26 -0700)

Trivial merge