Stream: Coq devs & plugin devs

Topic: 8.14 timeline / which milestone to set for merged PRs


view this post on Zulip Michael Soegtrop (Mar 06 2021 at 09:16):

I wonder which milestone I should set for PRs I merge (specifically PR #13236).

What is the status of 8.14? When does it close for feature PRs? I guess there is a website which defines the dates ...

view this post on Zulip Théo Zimmermann (Mar 06 2021 at 10:31):

As long as the v8.14 branch has not been created, you should use that one (or the 8.13 milestone for the backportable fixes). The timeline hasn't been announced yet (https://github.com/coq/coq/wiki/Release-Plan) but the branching should probably be around the end of May or in June.

view this post on Zulip Théo Zimmermann (Mar 06 2021 at 10:32):

The reason why the 8.15 milestone already exist is simply to put longer-term issues.

view this post on Zulip Michael Soegtrop (Mar 06 2021 at 14:16):

Thanks !


Last updated: Oct 21 2021 at 22:02 UTC