From: David Shah <dave@ds0.me>
Date: Wed, 7 Aug 2019 09:40:38 +0000 (+0100)
Subject: Merge pull request #1241 from YosysHQ/clifford/jsonfix
X-Git-Tag: working-ls180~1170
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dee8f61781abab15235e8d72bbae76d90c71cb79;p=yosys.git

Merge pull request #1241 from YosysHQ/clifford/jsonfix

Improved JSON attr/param encoding
---

dee8f61781abab15235e8d72bbae76d90c71cb79