Merge pull request #564 from shenki/microwatt-updates
authorenjoy-digital <florent@enjoy-digital.fr>
Wed, 10 Jun 2020 12:53:09 +0000 (14:53 +0200)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 12:53:09 +0000 (14:53 +0200)
Microwatt updates


Trivial merge