Merge pull request #100 from edbordin/master
authorclairexen <claire@symbioticeda.com>
Thu, 9 Jul 2020 16:12:13 +0000 (18:12 +0200)
committerGitHub <noreply@github.com>
Thu, 9 Jul 2020 16:12:13 +0000 (18:12 +0200)
Use latest windows python launcher from yosys


Trivial merge