Stream: Coq devs & plugin devs

Topic: looking for assignee

Gaëtan Gilbert (Dec 14 2022 at 09:08):

https://github.com/coq/coq/pull/16817
https://github.com/coq/coq/pull/16970

Gaëtan Gilbert (Apr 03 2023 at 09:26):

https://github.com/coq/coq/pull/17282

Gaëtan Gilbert (May 26 2023 at 11:08):

https://github.com/coq/coq/pull/17605
https://github.com/coq/coq/pull/17616 (assigned)
https://github.com/coq/coq/pull/17587
https://github.com/coq/coq/pull/17585 (done)

Gaëtan Gilbert (May 31 2023 at 10:10):

ping

Enrico Tassi (May 31 2023 at 11:04):

Sorry I'm super busy with CoqWS 2023, but next week I'll try to help more.

Last updated: Jun 04 2023 at 19:30 UTC