Skip to content

Reset the uid counter when restoring the typer's state#1779

Merged
voodoos merged 4 commits intoocaml:masterfrom voodoos:reset-uid-counterJun 11, 2024

Commits

Commits on Jun 11, 2024