Skip to content

Conversation

rnazali
Copy link
Contributor

@rnazali rnazali commented Apr 10, 2025

If this is intended for any reason, please ignore this PR.

IDE flags them as typo, and I couldn't resist to submit a PR.
I'm using RustRover, if this ever matters.

@mo8it mo8it merged commit 0b91db2 into rust-lang:main Apr 29, 2025
7 checks passed
@mo8it
Copy link
Contributor

mo8it commented Apr 29, 2025

Thanks :)

@rnazali rnazali deleted the ice_cream branch April 30, 2025 02:03
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