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)
commit4351194e8ce94e7078b67a20e5fc92777d6cb3e6
tree7d2027cda96eeb6c16506ca8b1c9df2fe475efa7
parent83f84afc0b617fe78fb7cfa31fb9d1cd202e22f2
parent53688a24b531adcc99c091f728e9657d16010467
Merge pull request #2107 from whitequark/flatten-hdlname

flatten: preserve original object names