Stream: Coq devs & plugin devs

Topic: 8.18

view this post on Zulip Jason Gross (Aug 25 2023 at 06:12):

Any chance https://github.com/coq/coq/pull/17937 can make it in to 8.18?

view this post on Zulip Maxime Dénès (Aug 25 2023 at 09:31):

I tend to not like changes to tactics between rc and final (except for straightforward bug fixes), because it has a record of having delayed more than one release. But no strong opinion. @Enrico Tassi WDYT?

view this post on Zulip Enrico Tassi (Aug 25 2023 at 11:00):

Only doc updates and crytical bugs.

Last updated: Nov 29 2023 at 22:01 UTC