Merge pull request #222 from antmicro/bump_vexriscv
authorenjoy-digital <florent@enjoy-digital.fr>
Thu, 25 Jul 2019 07:25:26 +0000 (09:25 +0200)
committerGitHub <noreply@github.com>
Thu, 25 Jul 2019 07:25:26 +0000 (09:25 +0200)
cpu/vexriscv: bump submodule


Trivial merge