Stream: Coq devs & plugin devs

Topic: Adding support for `./configure -h` to the v8.0 branch?


view this post on Zulip Jason Gross (Jul 27 2022 at 03:46):

Does anyone object to me merging https://github.com/coq/coq/pull/16349 into the v8.0 branch?


Last updated: Jun 09 2023 at 08:01 UTC