Compatibility with odoc-parser.2.3.0#1184

Merged

rgrinberg merged 4 commits intoocaml:masterfrom panglesd:odoc-parser-compatibility

Oct 22, 2023

+3,409-8

Commits on Oct 17, 2023

Commits on Oct 19, 2023

vendor odoc parser 2.3.0
panglesd
committed

Commits on Oct 22, 2023

_
rgrinberg
committed