Merge pull request #3206 from YosysHQ/micko/quote_remove
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 4 Mar 2022 15:39:01 +0000 (16:39 +0100)
committerGitHub <noreply@github.com>
Fri, 4 Mar 2022 15:39:01 +0000 (16:39 +0100)
Remove quotes if any from attribute


Trivial merge