Merge branch 'master' of libre-riscv.org:/pinmux
authorrishucoding <rishucoding@gmail.com>
Fri, 6 Jul 2018 14:00:01 +0000 (19:30 +0530)
committerrishucoding <rishucoding@gmail.com>
Fri, 6 Jul 2018 14:00:01 +0000 (19:30 +0530)

Trivial merge