Stream: Coq devs & plugin devs

Topic: RC advertising


view this post on Zulip Karl Palmskog (Feb 02 2024 at 14:13):

we have done announcements on the Discourse for several years now, I think Coq-club doesn't come with any guarantees about announcements nowadays

view this post on Zulip Karl Palmskog (Feb 02 2024 at 14:16):

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

view this post on Zulip Karl Palmskog (Feb 02 2024 at 14:16):

to me, RC tag means precisely RC release

view this post on Zulip Gaëtan Gilbert (Feb 02 2024 at 14:16):

I made https://github.com/coq/coq/pull/18614


Last updated: Oct 13 2024 at 01:02 UTC