Enrico Tassi (May 07 2020 at 07:34): Enrico Tassi (May 07 2020 at 07:34):I'm trying to plan a release of Hierarchy Builder to be available for 8.12. What would be a reasonable deadline for pinning (or updating the pinning) of it in the v8.12 branch?
Enrico Tassi (May 07 2020 at 07:38):To be clear, this is not about the PR https://github.com/coq/coq/pull/12032 which I hope to be merged before the branching. It is about pushing forward the pin that, IIRC, is made at some point before the beta.
Théo Zimmermann (May 07 2020 at 08:20):Any time before the end of May should be fine, but probably best to not do it too early in case a PR with overlays gets merged (as you would have to tag again). So best to wait after the branching.
Last updated: Apr 19 2024 at 17:02 UTC