Merge pull request #872 from YosysHQ/clifford/pmuxfix
authorClifford Wolf <clifford@clifford.at>
Thu, 14 Mar 2019 17:42:45 +0000 (18:42 +0100)
committerGitHub <noreply@github.com>
Thu, 14 Mar 2019 17:42:45 +0000 (18:42 +0100)
Improve handling of "full_case" attributes


Trivial merge