Skip to content
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

Remove unused collect_metadata function #13384

Merged
merged 1 commit into from
Sep 21, 2024

Conversation

Alexendoo
Copy link
Member

Leftover from #13221

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Sep 11, 2024

r? @llogiq

rustbot has assigned @llogiq.
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 Sep 11, 2024
@llogiq
Copy link
Contributor

llogiq commented Sep 21, 2024

All right. @bors r+

@bors
Copy link
Contributor

bors commented Sep 21, 2024

📌 Commit 2775dcd has been approved by llogiq

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 21, 2024

⌛ Testing commit 2775dcd with merge 0e1ded0...

@bors
Copy link
Contributor

bors commented Sep 21, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: llogiq
Pushing 0e1ded0 to master...

@bors bors merged commit 0e1ded0 into rust-lang:master Sep 21, 2024
8 checks passed
@bors bors mentioned this pull request Sep 21, 2024
@Alexendoo Alexendoo deleted the remove-old-collect-metadata branch September 21, 2024 12:29
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