projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 71d148b 1e92e2d)
Merge pull request #1510 from pumbor/master
authorN. Engelhardt <nak@symbioticeda.com>
Wed, 29 Jan 2020 14:21:28 +0000 (15:21 +0100)
committerGitHub <noreply@github.com>
Wed, 29 Jan 2020 14:21:28 +0000 (15:21 +0100)
handle anonymous unions to fix #1080


Trivial merge