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: Feb 06 2023 at 19:03 UTC