Merge pull request #1303 from YosysHQ/bogdanvuk/opt_share
authorClifford Wolf <clifford@clifford.at>
Sat, 17 Aug 2019 13:03:46 +0000 (15:03 +0200)
committerGitHub <noreply@github.com>
Sat, 17 Aug 2019 13:03:46 +0000 (15:03 +0200)
Implement opt_share from @bogdanvuk


Trivial merge