Merge branch 'master' into vexriscv_smp
authorDolu1990 <charles.papon.90@gmail.com>
Wed, 29 Jul 2020 09:14:09 +0000 (11:14 +0200)
committerDolu1990 <charles.papon.90@gmail.com>
Wed, 29 Jul 2020 09:14:09 +0000 (11:14 +0200)

Trivial merge