Skip to content

Misc cleanup #13278

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Aug 19, 2024
Merged

Misc cleanup #13278

merged 4 commits into from
Aug 19, 2024

Conversation

Alexendoo
Copy link
Member

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Aug 17, 2024

r? @Centri3

rustbot has assigned @Centri3.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 17, 2024
@Centri3
Copy link
Member

Centri3 commented Aug 17, 2024

r? rust-lang/clippy

@rustbot rustbot assigned dswij and unassigned Centri3 Aug 17, 2024
@y21
Copy link
Member

y21 commented Aug 19, 2024

LGTM, very nice cleanup

r? y21 @bors r+

@bors
Copy link
Contributor

bors commented Aug 19, 2024

📌 Commit 6993752 has been approved by y21

It is now in the queue for this repository.

@rustbot rustbot assigned y21 and unassigned dswij Aug 19, 2024
@bors
Copy link
Contributor

bors commented Aug 19, 2024

⌛ Testing commit 6993752 with merge ba6bc81...

@bors
Copy link
Contributor

bors commented Aug 19, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: y21
Pushing ba6bc81 to master...

@bors bors merged commit ba6bc81 into rust-lang:master Aug 19, 2024
8 checks passed
@Alexendoo Alexendoo deleted the misc-cleanup branch August 19, 2024 20:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants