Skip to content

Use heading text for references to heading even across pages#1116

Merged
jonludlam merged 6 commits intoocaml:masterfrom panglesd:fix-941May 22, 2024

Commits

Commits on May 6, 2024