Merge pull request #2344 from YosysHQ/mwk/opt_share-fixes
authorclairexen <claire@symbioticeda.com>
Thu, 20 Aug 2020 14:24:53 +0000 (16:24 +0200)
committerGitHub <noreply@github.com>
Thu, 20 Aug 2020 14:24:53 +0000 (16:24 +0200)
opt_share: Refactor, fix some bugs.


Trivial merge