Merge remote-tracking branch 'origin/pmux2shiftx' into xc7srl
authorEddie Hung <eddie@fpgeh.com>
Sat, 20 Apr 2019 17:44:01 +0000 (10:44 -0700)
committerEddie Hung <eddie@fpgeh.com>
Sat, 20 Apr 2019 17:44:01 +0000 (10:44 -0700)

Trivial merge