From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 15 Aug 2019 08:20:22 +0000 (+0200)
Subject: Merge pull request #1295 from YosysHQ/eddie/fix_travis
X-Git-Tag: working-ls180~1145
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5422007400bf6f9860d1a230b561fe4fa64f0d32;p=yosys.git

Merge pull request #1295 from YosysHQ/eddie/fix_travis

Fix Travis CI
---

5422007400bf6f9860d1a230b561fe4fa64f0d32