Stream: Coq devs & plugin devs

Topic: branch delayed


view this post on Zulip Gaëtan Gilbert (Nov 27 2023 at 09:23):

I'm delaying the branch date to next week because I ended up wanting to take holiday this week
rc may also be delayed a bit if the spacing ends up too tight, wll decide later


Last updated: Oct 13 2024 at 01:02 UTC