Merge branch 'master' of ssh://libre-riscv.org:922/crowdsupply
authorJoshua Harlan Lifton <joshua.harlan.lifton@gmail.com>
Wed, 28 Nov 2018 19:56:02 +0000 (11:56 -0800)
committerJoshua Harlan Lifton <joshua.harlan.lifton@gmail.com>
Wed, 28 Nov 2018 19:56:02 +0000 (11:56 -0800)

Trivial merge