Merge pull request #1633 from YosysHQ/eddie/fix_autoname
authorEddie Hung <eddie@fpgeh.com>
Tue, 14 Jan 2020 19:40:54 +0000 (11:40 -0800)
committerGitHub <noreply@github.com>
Tue, 14 Jan 2020 19:40:54 +0000 (11:40 -0800)
autoname: do not rename ports


Trivial merge