Enrico Tassi (Apr 01 2021 at 14:46): Enrico Tassi (Apr 01 2021 at 14:46):The tag is out and the opam package PR submitted https://github.com/ocaml/opam-repository/pull/18431 .
I forgot to include 2 doc related PR which I moved to the 8.13.3 milestone, apologies to the authors.
In the (draft) release message I explicltly point to the platform page for the binary packages (CC @Michael Soegtrop ), I plan to undraft it and announce the release to the usual channels when these packages will be ready.
Last updated: Apr 16 2024 at 12:01 UTC