Merge pull request #1961 from whitequark/paramod-original-name
authorwhitequark <whitequark@whitequark.org>
Tue, 21 Apr 2020 01:43:20 +0000 (01:43 +0000)
committerGitHub <noreply@github.com>
Tue, 21 Apr 2020 01:43:20 +0000 (01:43 +0000)
ast, rpc: record original name of $paramod\* as \hdlname attribute


Trivial merge