From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 28 Sep 2018 15:20:43 +0000 (+0200)
Subject: Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys
X-Git-Tag: yosys-0.9~464
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ac4000d8554c2814f07b6c244d72e807d6356c56;p=yosys.git

Merge branch 'yosys-0.8-rc' of github.com:YosysHQ/yosys
---

ac4000d8554c2814f07b6c244d72e807d6356c56