[new release] odoc (5 packages) (3.0.0)#27641

mseri merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom

jonludlam:release-odoc-3.0.0jonludlam/opam-repository:release-odoc-3.0.0Copy head branch name to clipboard