Skip to content

Fix loading of cmts with Tstr_primitive#602

Merged
jonludlam merged 1 commit intoocaml:masterfrom
jonludlam:fix-599
Feb 25, 2021
Merged

Fix loading of cmts with Tstr_primitive#602
jonludlam merged 1 commit intoocaml:masterfrom
jonludlam:fix-599

Commits

Commits on Feb 25, 2021