Théo Zimmermann (Apr 08 2022 at 16:44): 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.
Enrico Tassi (Apr 08 2022 at 16:59):Thanks for you work on this aspect of Coq!
Last updated: Dec 06 2023 at 13:01 UTC