Stream: Coq devs & plugin devs

Topic: Build maintainer team


view this post on Zulip Théo Zimmermann (Apr 08 2022 at 16:44):

I have been part of the build maintainer team since the move to Dune to help Emilio, but now that new people have joined in and expertise has been shared, I'm removing myself from this team to reflect the fact that I have too little time available and rarely participate in reviewing these PRs anymore anyway.

view this post on Zulip Enrico Tassi (Apr 08 2022 at 16:59):

Thanks for you work on this aspect of Coq!


Last updated: Feb 06 2023 at 19:03 UTC