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

internal: Fix dependency warning #14997

Merged
merged 1 commit into from
Jun 8, 2023
Merged

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Jun 7, 2023

Hope this doesn't break #14984 again.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 7, 2023
@Veykril
Copy link
Member

Veykril commented Jun 8, 2023

It shouldn't I think, but we'll see 😄
@bors r+

@bors
Copy link
Contributor

bors commented Jun 8, 2023

📌 Commit 08ef169 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jun 8, 2023

⌛ Testing commit 08ef169 with merge 9c03aa1...

@bors
Copy link
Contributor

bors commented Jun 8, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing 9c03aa1 to master...

@bors bors merged commit 9c03aa1 into rust-lang:master Jun 8, 2023
@lnicola lnicola deleted the fix-warning branch June 8, 2023 20:11
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