Merge pull request #121 from YosysHQ/windows_fix
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 22 Mar 2021 15:51:11 +0000 (16:51 +0100)
committerGitHub <noreply@github.com>
Mon, 22 Mar 2021 15:51:11 +0000 (16:51 +0100)
Windows specific fixes


Trivial merge