Stream: Coq devs & plugin devs

Topic: Trivial PR fixing CI

view this post on Zulip Maxime Dénès (Aug 22 2023 at 07:04):

Hello there, any taker for https://github.com/coq/coq/pull/17972 ? It is trivial and fixes Coq's CI (was broken for VsCoq).

view this post on Zulip Pierre-Marie Pédrot (Aug 22 2023 at 07:45):

done

Last updated: Nov 29 2023 at 22:01 UTC