Skip to content

fix: typo in Meta.unfoldProjInstWhenInstances?#4139

Merged
nomeata merged 1 commit intoleanprover:masterfrom marcusrossel:fix-typoMay 12, 2024