projects / yosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 196c9c2 9b91d81)
Merge pull request #1190 from YosysHQ/eddie/fix_1099
authorClifford Wolf <clifford@clifford.at>
Mon, 15 Jul 2019 18:05:56 +0000 (20:05 +0200)
committerGitHub <noreply@github.com>
Mon, 15 Jul 2019 18:05:56 +0000 (20:05 +0200)
extract_fa to return nothing more gracefully


Trivial merge