Skip to content

Conversation

@Emilgardis
Copy link
Member

No description provided.

@Emilgardis Emilgardis requested a review from a team as a code owner May 16, 2022 22:57
@rust-highfive
Copy link

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @ryankurte (or someone else) soon.

Please see the contribution instructions for more information.

@Emilgardis
Copy link
Member Author

ping #120 this should help in similar cases

@Emilgardis Emilgardis marked this pull request as ready for review February 3, 2023 17:59
@Emilgardis
Copy link
Member Author

this is ready, no changes done

@therealprof
Copy link
Contributor

LGTM

adamgreig
adamgreig previously approved these changes Aug 26, 2025
Copy link
Contributor

@therealprof therealprof left a comment

Choose a reason for hiding this comment

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

LGTM

@adamgreig adamgreig added this pull request to the merge queue Sep 27, 2025
Merged via the queue into master with commit d8e000b Sep 27, 2025
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants