Stream: Coq devs & plugin devs

Topic: LFA


view this post on Zulip Gaëtan Gilbert (May 05 2023 at 10:26):

Can I get an assignee for https://github.com/coq/coq/pull/16890 ?

view this post on Zulip Pierre-Marie Pédrot (May 05 2023 at 10:42):

weren't you the assignee originally?

view this post on Zulip Gaëtan Gilbert (May 05 2023 at 10:51):

I pushed commits there


Last updated: Oct 13 2024 at 01:02 UTC