Stream: Coq devs & plugin devs

Topic: release 8.13.2


view this post on Zulip 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: Oct 16 2021 at 01:03 UTC