Merge pull request #2142 from whitequark/splitnets-hdlname
authorwhitequark <whitequark@whitequark.org>
Thu, 18 Jun 2020 16:57:24 +0000 (16:57 +0000)
committerGitHub <noreply@github.com>
Thu, 18 Jun 2020 16:57:24 +0000 (16:57 +0000)
splitnets: propagate (*hdlname*) and disambiguate via start_offset


Trivial merge