Merge branch 'xc7mux' of github.com:YosysHQ/yosys into xc7mux
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 16:14:12 +0000 (09:14 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 16:14:12 +0000 (09:14 -0700)

Trivial merge