fix: Enable creation of packages with repeated simple names in qualified name#4770

Merged

MartinWitt merged 2 commits intoINRIA:masterfrom slarse:issue/4764-fix-package-name-collision

Jul 9, 2022

+32-7

Commits on Jun 27, 2022

Fix bug in creating package with repeated simple names
slarse
committed

Commits on Jul 9, 2022

Replace Test annotation with GithubIssue
slarse
committed