Merge branch 'master' of https://github.com/hackfin/yosys
authorMartin <hackfin@section5.ch>
Tue, 19 May 2020 09:14:51 +0000 (11:14 +0200)
committerMartin <hackfin@section5.ch>
Tue, 19 May 2020 09:14:51 +0000 (11:14 +0200)

Trivial merge