Skip to content

Conversation

@eholk
Copy link
Contributor

@eholk eholk commented Oct 17, 2023

@eholk
Copy link
Contributor Author

eholk commented Oct 17, 2023

cc @cuviper, since you were the elector for T-libs

cc the new project directors (@scottmcm @JakobDegen @spastorino), since you're mentioned in this post.

Let me know if any updates are desired. Thanks!

@m-ou-se
Copy link
Member

m-ou-se commented Oct 17, 2023

My checkbox will remain unchecked, since I wasn't part of this decision.

(Edit: to clarify, I recused myself from the project director selection process since I was a candidate myself.)

Co-authored-by: Josh Gould <me@technetos.email>
eholk and others added 2 commits October 18, 2023 13:05
Co-authored-by: Josh Gould <me@technetos.email>
@eholk
Copy link
Contributor Author

eholk commented Oct 19, 2023

This is ready to go. I just need someone to give it an approving review and I can merge it.

@ehuss ehuss merged commit 31e59c7 into rust-lang:master Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants