Stream: Coq devs & plugin devs

Topic: assignment

Gaëtan Gilbert (May 17 2022 at 11:39):

requesting assignee for https://github.com/coq/coq/pull/15274

Gaëtan Gilbert (May 17 2022 at 11:40):

also https://github.com/coq/coq/pull/16012

Last updated: Feb 05 2023 at 20:03 UTC