Skip to content

Conversation

tshepang
Copy link
Member

@tshepang tshepang commented Oct 6, 2025

r? ghost

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Oct 6, 2025
@tshepang tshepang enabled auto-merge October 6, 2025 18:13
@tshepang tshepang merged commit 3c5af0c into main Oct 6, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Oct 6, 2025
@tshepang tshepang deleted the tshepang-patch-5 branch October 6, 2025 18:13
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