Skip to content

misc improvements/adjustments#2916

Merged
tshepang merged 16 commits into
mainfrom
tshepang/misc
Jul 4, 2026
Merged

misc improvements/adjustments#2916
tshepang merged 16 commits into
mainfrom
tshepang/misc

Conversation

@tshepang

@tshepang tshepang commented Jul 4, 2026

Copy link
Copy Markdown
Member

No description provided.

@rustbot

rustbot commented Jul 4, 2026

Copy link
Copy Markdown
Collaborator

Thanks for the PR. If you have write access, feel free to merge this PR if it does not need reviews. You can request a review using r? rustc-dev-guide or r? <username>.

@rustbot rustbot added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Jul 4, 2026
@tshepang tshepang enabled auto-merge July 4, 2026 10:58
@tshepang tshepang merged commit 8d488c6 into main Jul 4, 2026
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Jul 4, 2026
@tshepang tshepang deleted the tshepang/misc branch July 4, 2026 11:12
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