Skip to content

Move some utils to clippy_utils::source #6914

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Mar 16, 2021

Conversation

camsteffen
Copy link
Contributor

@camsteffen camsteffen commented Mar 16, 2021

changelog: none

Continues #6907

@rust-highfive
Copy link

r? @Manishearth

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Mar 16, 2021
@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Mar 16, 2021

📌 Commit 6fc52a6 has been approved by Manishearth

@bors
Copy link
Contributor

bors commented Mar 16, 2021

⌛ Testing commit 6fc52a6 with merge d7a2311...

@camsteffen
Copy link
Contributor Author

@Manishearth dang you're quick! 😄

@Manishearth
Copy link
Member

Heh I got the ping just as I was switching between tasks

@bors
Copy link
Contributor

bors commented Mar 16, 2021

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

@bors bors merged commit d7a2311 into rust-lang:master Mar 16, 2021
@bors bors mentioned this pull request Mar 16, 2021
@camsteffen camsteffen deleted the source-utils branch July 8, 2021 22:01
# for free to join this conversation on GitHub. Already have an account? # 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