Merge pull request #244292 from Luflosi/update/yosys
yosys: 0.30 -> 0.31
authored by Sandro and committed by GitHub 2 years ago d0202aa5 5ab57414