From: David Shah <dave@ds0.me>
Date: Wed, 11 Dec 2019 08:46:10 +0000 (+0000)
Subject: Merge pull request #1564 from ZirconiumX/intel_housekeeping
X-Git-Tag: working-ls180~930
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=613334d9dcb5c190de8396ff38e2ae73259aa7bf;p=yosys.git

Merge pull request #1564 from ZirconiumX/intel_housekeeping

Intel housekeeping
---

613334d9dcb5c190de8396ff38e2ae73259aa7bf