Merge remote-tracking branch 'origin/clifford/pmux2shiftx' into xc7srl
authorEddie Hung <eddie@fpgeh.com>
Sun, 21 Apr 2019 00:24:33 +0000 (17:24 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sun, 21 Apr 2019 00:24:33 +0000 (17:24 -0700)

Trivial merge