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.
Thanks for you work on this aspect of Coq!
Last updated: May 28 2023 at 13:30 UTC