Stream: Coq Platform devs & users

Topic: 2022.03 or 2022.04


view this post on Zulip Théo Zimmermann (Apr 04 2022 at 12:42):

Hello, since we've already missed the month of March for this release, and AFAIR no one has yet requested a new Snap track, what about changing the name of the upcoming release to 2022.04 (without taking this as a reason to delay further though)?

view this post on Zulip Karl Palmskog (Apr 04 2022 at 14:21):

I also vote for 2022.04

view this post on Zulip Michael Soegtrop (Apr 04 2022 at 15:38):

Fine with me to rename.


Last updated: Apr 20 2024 at 03:40 UTC