Merge pull request #4 from YosysHQ/master
authorJim Lawson <ucbjrl@berkeley.edu>
Tue, 28 Aug 2018 15:03:40 +0000 (08:03 -0700)
committerGitHub <noreply@github.com>
Tue, 28 Aug 2018 15:03:40 +0000 (08:03 -0700)
merge with YosysHQ master


Trivial merge