From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 22 Feb 2019 05:54:48 +0000 (+0100)
Subject: Merge pull request #820 from YosysHQ/clifford/fix810
X-Git-Tag: yosys-0.9~305
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=25a3a961073335de138f8a037fc4b723572f1b68;p=yosys.git

Merge pull request #820 from YosysHQ/clifford/fix810

Fix #810 and fix #814
---

25a3a961073335de138f8a037fc4b723572f1b68