Merge pull request #1761 from YosysHQ/eddie/opt_merge_speedup
authorEddie Hung <eddie@fpgeh.com>
Tue, 31 Mar 2020 21:50:32 +0000 (14:50 -0700)
committerGitHub <noreply@github.com>
Tue, 31 Mar 2020 21:50:32 +0000 (14:50 -0700)
opt_merge: speedup


Trivial merge