projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 344afdc 362ef36)
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)
Fix #810 and fix #814


Trivial merge