Stream: Coq devs & plugin devs

Topic: PR looking for assignee


view this post on Zulip Pierre Roux (Jul 30 2024 at 11:20):

https://github.com/coq/coq/pull/19310 is ready if anyone wants to assign (it may look bulky, but most of it is just string replacement Coq -> Stdlib)


Last updated: Oct 13 2024 at 01:02 UTC