Skip to content

Fix #665 (nested namespace bare-name → enclosing scope); complete #639#748

Merged
nickna merged 1 commit into
mainfrom
wrk/vigorous-sinoussi-1362f6
Jun 16, 2026
Merged

Fix #665 (nested namespace bare-name → enclosing scope); complete #639#748
nickna merged 1 commit into
mainfrom
wrk/vigorous-sinoussi-1362f6

Commits

Commits on Jun 16, 2026