Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Jun 7, 2025

Opening as draft as there are some unfilled parts.

Rendered

@ehuss ehuss force-pushed the council-june-2025 branch from 6e103be to 99cff82 Compare June 7, 2025 20:36
@ehuss ehuss marked this pull request as ready for review June 11, 2025 20:24
@ehuss ehuss merged commit d98b022 into rust-lang:master Jun 11, 2025
5 checks passed
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.

2 participants