Merge branch 'master' of https://git.libre-riscv.org/git/soc
authorTobias Platen <tplaten@posteo.de>
Thu, 25 Jul 2019 19:43:00 +0000 (21:43 +0200)
committerTobias Platen <tplaten@posteo.de>
Thu, 25 Jul 2019 19:43:00 +0000 (21:43 +0200)

Trivial merge