Skip to content

Conversation

@lnicola
Copy link
Member

@lnicola lnicola commented Aug 12, 2024

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

lnicola commented Aug 12, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Aug 12, 2024

📌 Commit c875467 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 12, 2024

⌛ Testing commit c875467 with merge a13f330...

@bors
Copy link
Contributor

bors commented Aug 12, 2024

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

@bors bors merged commit a13f330 into rust-lang:master Aug 12, 2024
@lnicola lnicola deleted the publish-libs-members branch August 12, 2024 11:05
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.

3 participants