Merge pull request #2452 from whitequark/rtlil-remove-dot-identifiers
authorwhitequark <whitequark@whitequark.org>
Wed, 25 Nov 2020 21:22:14 +0000 (21:22 +0000)
committerGitHub <noreply@github.com>
Wed, 25 Nov 2020 21:22:14 +0000 (21:22 +0000)
rtlil: remove dotted identifiers


Trivial merge