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: Dec 06 2023 at 13:01 UTC