Skip to content

Conversation

skaunov
Copy link

@skaunov skaunov commented Jan 17, 2025

I'm not sure what that meant to be initially, but this looks more useful now.

I'm not sure what that meant to be initially, but this looks more useful now.
@rustbot
Copy link
Collaborator

rustbot commented Jan 17, 2025

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @marioidival (or someone else) some time within the next two weeks.

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.

3 participants