We would like to release 0.3.8 by the end of the month. It is maybe timely to take a quick look at current issues and PRs, in particular those in the milestone. Thank you.
Do you need a release of HB?
Current HB seems fine, thanks.
(but we’ll certainly have another one for this summer)
Ok. I'll then push my PR for the summer release :)
Moved to milestone 0.3.9! Thanks for clarifying.
We are preparing the 0.3.8 version of mathcomp-analysis, please do not merge into master until further notice.
We have released the 0.3.8 version of mathcomp-analysis, it is now ok to merge into master.
The 0.3.8 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released.
Last updated: Aug 19 2022 at 21:02 UTC