Stream: Coq devs & plugin devs

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

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: Feb 05 2023 at 22:03 UTC