Reynald Affeldt (May 30 2021 at 04:48): Reynald Affeldt (May 30 2021 at 04:48):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.
Enrico Tassi (May 30 2021 at 06:23):Do you need a release of HB?
Pierre-Yves Strub (May 30 2021 at 06:47):June?
Reynald Affeldt (May 30 2021 at 06:55):Current HB seems fine, thanks.
Reynald Affeldt (May 30 2021 at 06:55):May :-)
Reynald Affeldt (May 30 2021 at 06:56):(but we’ll certainly have another one for this summer)
Pierre-Yves Strub (May 30 2021 at 10:56):Ok. I'll then push my PR for the summer release :)
Reynald Affeldt (May 30 2021 at 13:06):Moved to milestone 0.3.9! Thanks for clarifying.
Reynald Affeldt (Jun 01 2021 at 08:51):We are preparing the 0.3.8 version of mathcomp-analysis, please do not merge into master until further notice.
Reynald Affeldt (Jun 01 2021 at 09:46):We have released the 0.3.8 version of mathcomp-analysis, it is now ok to merge into master.
Reynald Affeldt (Jun 03 2021 at 06:47):The 0.3.8 version of mathcomp-analysis is available as an opam package in https://coq.inria.fr/opam/released.
Last updated: Feb 05 2023 at 08:28 UTC