When's the deadline for 8.14? Is it possible to get https://github.com/coq/coq/pull/14174 in (cc @Hugo Herbelin )?
End of the month. See https://github.com/coq/coq/wiki/Release-Plan
Will there be a 8.13.3 by the way?
Is there a fix for Print Assumptions critical issue?
It doesn't look like anyone is actively working on it.
OK, so no 8.13.3 in sight
Last updated: Oct 21 2021 at 21:03 UTC