Merge pull request #719 from YosysHQ/q3k/flailing-around-trying-to-fix-osx
authorSerge Bazanski <sergiusz@q3k.org>
Wed, 5 Dec 2018 16:22:14 +0000 (17:22 +0100)
committerGitHub <noreply@github.com>
Wed, 5 Dec 2018 16:22:14 +0000 (17:22 +0100)
Fix Travis on OSX


Trivial merge