Skip to content

Conversation

@Muscraft
Copy link
Member

@Muscraft Muscraft commented Feb 12, 2024

When I merged #3558, I forgot to add the tracking issue, this PR fixes that.

Rendered

Copy link
Contributor

@ehuss ehuss left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@ehuss ehuss merged commit 5a49a84 into rust-lang:master Feb 12, 2024
@Muscraft Muscraft deleted the update-3558 branch February 12, 2024 17:13
@kennytm kennytm added the not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc. label Feb 13, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants