Skip to content

Conversation

@nastevens
Copy link
Contributor

jamesmunns added a commit to jamesmunns/team that referenced this pull request May 18, 2024
@rylev rylev merged commit 51c59f2 into rust-lang:master May 21, 2024
@nastevens nastevens deleted the nastevens-zulip branch May 21, 2024 13:14
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