Skip to content

lint: fix a few comments#9598

Merged
bors merged 1 commit into
rust-lang:masterfrom
nyurik:fix-comment
Oct 6, 2022
Merged

lint: fix a few comments#9598
bors merged 1 commit into
rust-lang:masterfrom
nyurik:fix-comment

Conversation

@nyurik
Copy link
Copy Markdown
Contributor

@nyurik nyurik commented Oct 6, 2022

minor cleanup per @Alexendoo comment

changelog: none

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 6, 2022
Copy link
Copy Markdown
Member

@Alexendoo Alexendoo left a comment

Choose a reason for hiding this comment

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

Thanks!

@Alexendoo
Copy link
Copy Markdown
Member

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Oct 6, 2022

📌 Commit c251f8d has been approved by Alexendoo

It is now in the queue for this repository.

@bors
Copy link
Copy Markdown
Contributor

bors commented Oct 6, 2022

⌛ Testing commit c251f8d with merge 45343e2...

@bors
Copy link
Copy Markdown
Contributor

bors commented Oct 6, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Alexendoo
Pushing 45343e2 to master...

@bors bors merged commit 45343e2 into rust-lang:master Oct 6, 2022
@nyurik nyurik deleted the fix-comment branch October 13, 2022 00:22
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.

4 participants