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: Nov 29 2023 at 21:01 UTC