Skip to content

uid_of_path can use the decl_id if shapes fail#1700

Merged
voodoos merged 5 commits intoocaml:masterfrom goldfirere:fallback-to-decl_uidNov 13, 2023

Commits

Commits on Nov 13, 2023