@Enrico Tassi @Maxime Dénès are you planning to to a 8.18.1 release?

I'm really busy. Is there a critical bug or anything else worth doing it?

https://github.com/coq/coq/issues/18133 and https://github.com/coq/coq/pull/18077 seem like the most important changes in the milestone

and they're not super important

https://github.com/coq/coq/pull/17638 is pretty important

I've nominated https://github.com/coq/coq/pull/18207 but your call.

https://github.com/coq/coq/pull/17909 fixes a regression of 8.18 over 8.17 that is preventing coq-neural-net-interp from building on 8.18. It'd be nice to have this backported and 8.18.1 released (eventually, no rush) so that this project is compatible with 8.18

Last updated: Oct 13 2024 at 01:02 UTC