Merge pull request #820 from YosysHQ/clifford/fix810
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Feb 2019 05:54:48 +0000 (06:54 +0100)
committerGitHub <noreply@github.com>
Fri, 22 Feb 2019 05:54:48 +0000 (06:54 +0100)
commit25a3a961073335de138f8a037fc4b723572f1b68
tree9e8edb4533636cfd379e806e314dd4f44f867189
parent344afdcd5f37be4b326cefc397d65d9c92e54a47
parent362ef36ccdcb3023f9db259b983c08811f794edd
Merge pull request #820 from YosysHQ/clifford/fix810

Fix #810 and fix #814