Skip to content

Conversation

@tmandry
Copy link
Member

@tmandry tmandry commented Aug 17, 2023

To be merged after #559.

@workingjubilee
Copy link
Member

Nice.

@workingjubilee
Copy link
Member

This has a few different PRs that will go in first.

@workingjubilee workingjubilee merged commit 99faef8 into rust-lang:master Aug 18, 2023
@tmandry tmandry deleted the tmandry-patch-1 branch August 22, 2023 19:05
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