I'd like to do a 8.19.1 soon for https://github.com/coq/coq/issues/18594 and https://github.com/coq/coq/pull/18599

can someone assign and merge the unassigned PRs in https://github.com/coq/coq/milestone/57 ? (they're infrastructure fixes)

expect the release early next week

hmm... I was hoping to work on coq#18462 before. Can it be delayed a little bit? I'm already halfway through a`Numbers`

based solution.

no

we can do a .2 if useful

fair enough

opam repo PR https://github.com/ocaml/opam-repository/pull/25404

Last updated: Oct 13 2024 at 01:02 UTC