Skip to content

Conversation

@tshepang
Copy link
Member

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label May 31, 2025
@Noratrieb Noratrieb merged commit e76d93c into master May 31, 2025
1 check passed
@tshepang tshepang deleted the tshepang-mailmap branch May 31, 2025 21:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants