Stream: Coq devs & plugin devs

Topic: PR before 8.18.0


view this post on Zulip Jason Gross (Aug 05 2023 at 01:39):

Can https://github.com/coq/coq/pull/17920 get in before the 8.18 release? (It fixes a very minor regression between 8.17 and 8.18)


Last updated: Jul 13 2024 at 02:02 UTC