we have done announcements on the Discourse for several years now, I think Coq-club doesn't come with any guarantees about announcements nowadays
it's strange to me that the RC tag and the "RC release" is treated separately in https://github.com/coq/coq/blob/master/dev/doc/release-process.md though
to me, RC tag means precisely RC release
I made https://github.com/coq/coq/pull/18614
Last updated: Oct 13 2024 at 01:02 UTC