Skip to content

minor: sync from downstream #16983

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 2 commits into from
Mar 31, 2024
Merged

minor: sync from downstream #16983

merged 2 commits into from
Mar 31, 2024

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Mar 31, 2024

No description provided.

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 31, 2024
@lnicola
Copy link
Member Author

lnicola commented Mar 31, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Mar 31, 2024

📌 Commit 424054a has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 31, 2024

⌛ Testing commit 424054a with merge e4a405f...

@bors
Copy link
Contributor

bors commented Mar 31, 2024

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing e4a405f to master...

@bors bors merged commit e4a405f into rust-lang:master Mar 31, 2024
11 checks passed
@lnicola lnicola deleted the sync-from-rust branch March 31, 2024 12:00
# 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.

3 participants