Merge pull request #2615 from zachjs/genrtlil-conflict
authorwhitequark <whitequark@whitequark.org>
Mon, 1 Mar 2021 16:10:19 +0000 (08:10 -0800)
committerGitHub <noreply@github.com>
Mon, 1 Mar 2021 16:10:19 +0000 (08:10 -0800)
commitca5f5ffcd63bc18a5e0ae1bdb1065f148ce3c4da
treed6fb01c328a9da739b2f2c0b448fe47791258e5d
parent0fb4224ebca86156a1296b9210116d9a9cbebeed
parentbbff844acd15c274a6619050d1251aea4698ef56
Merge pull request #2615 from zachjs/genrtlil-conflict

genrtlil: improve name conflict error messaging