Merge pull request #1652 from YosysHQ/eddie/abc9_fixes
authorEddie Hung <eddie@fpgeh.com>
Wed, 22 Jan 2020 20:27:41 +0000 (12:27 -0800)
committerGitHub <noreply@github.com>
Wed, 22 Jan 2020 20:27:41 +0000 (12:27 -0800)
Eddie/abc9 fixes


Trivial merge