[new release] odoc and odoc-parser (2.4.0)#24930

Merged

mseri merged 4 commits intoocaml:masterfrom Julow:release-odoc-2.4.0

Dec 14, 2023

+157

Commits on Dec 12, 2023

Commits on Dec 13, 2023

Update packages/odoc-parser/odoc-parser.2.4.0/opam
mseri
authored

Commits on Dec 14, 2023

odoc-parser.2.4.0: Move patch out of subdirectory
Julow
committed