Merge pull request #1 from YosysHQ/master
authorrafaeltp <rafael.tp@gmail.com>
Sun, 21 Oct 2018 00:01:09 +0000 (17:01 -0700)
committerGitHub <noreply@github.com>
Sun, 21 Oct 2018 00:01:09 +0000 (17:01 -0700)
updating


Trivial merge