Merge remote-tracking branch 'origin/xc7mux' into xaig
authorEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 15:52:46 +0000 (08:52 -0700)
committerEddie Hung <eddie@fpgeh.com>
Wed, 12 Jun 2019 15:52:46 +0000 (08:52 -0700)

Trivial merge