Stream: Coq devs & plugin devs

Topic: LFA

Gaëtan Gilbert (May 05 2023 at 10:26):

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

Pierre-Marie Pédrot (May 05 2023 at 10:42):

weren't you the assignee originally?

Gaëtan Gilbert (May 05 2023 at 10:51):

I pushed commits there

Last updated: Nov 29 2023 at 22:01 UTC