Merge pull request #221 from antmicro/bump_vexriscv
authorenjoy-digital <florent@enjoy-digital.fr>
Tue, 23 Jul 2019 10:01:13 +0000 (12:01 +0200)
committerGitHub <noreply@github.com>
Tue, 23 Jul 2019 10:01:13 +0000 (12:01 +0200)
cpu/vexriscv: bump submodule


Trivial merge