Stream: Coq devs & plugin devs

Topic: PR 17118


view this post on Zulip Enrico Tassi (Mar 14 2023 at 10:28):

Can someone put https://github.com/coq/coq/pull/17118 out of misery?


Last updated: Mar 02 2024 at 16:01 UTC