Stream: Coq devs & plugin devs

Topic: assignment


view this post on Zulip Gaëtan Gilbert (May 17 2022 at 11:39):

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

view this post on Zulip 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