Merge pull request #1519 from YosysHQ/eddie/submod_po
authorClaire Wolf <clifford@clifford.at>
Tue, 3 Mar 2020 16:19:06 +0000 (08:19 -0800)
committerGitHub <noreply@github.com>
Tue, 3 Mar 2020 16:19:06 +0000 (08:19 -0800)
submod: several bugfixes


Trivial merge