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: Feb 05 2023 at 20:03 UTC