Skip to content

Conversation

JohnTitor
Copy link
Member

See the summary comment for details.

@ehuss ehuss added the T-lang Relevant to the language team, which will review and decide on the RFC. label May 22, 2022
@tbu-
Copy link
Contributor

tbu- commented Jun 23, 2022

Duplicate #3223.

@JohnTitor
Copy link
Member Author

@joshtriplett To show the removal, seems you prefered this PR's style in #3154 (comment), but #3223 has another style, which ones do you prefer?

@Noratrieb Noratrieb added the not-rfc For PRs that fix things like spelling mistakes, wrong file names, etc. label Jan 20, 2024
@Noratrieb
Copy link
Member

Going to merge this, as it seems useful enough. We can always change the style later.

@Noratrieb Noratrieb merged commit 6820717 into rust-lang:master Jan 20, 2024
@JohnTitor
Copy link
Member Author

Thank you for taking care of this!

@JohnTitor JohnTitor deleted the update-rfc-1201 branch January 20, 2024 22:30
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. T-lang Relevant to the language team, which will review and decide on the RFC.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants