Merge pull request #2107 from whitequark/flatten-hdlname
authorwhitequark <whitequark@whitequark.org>
Tue, 9 Jun 2020 06:26:02 +0000 (06:26 +0000)
committerGitHub <noreply@github.com>
Tue, 9 Jun 2020 06:26:02 +0000 (06:26 +0000)
flatten: preserve original object names


Trivial merge