Skip to content

fix: allow dot idents to resolve to local names#6602

Merged
nomeata merged 2 commits intoleanprover:masterfrom cppio:dot-ident-mutualJan 12, 2025
+39-10

Commits

Commits on Jan 10, 2025

Commits on Jan 12, 2025