Skip to content

Conversation

Centri3
Copy link
Member

@Centri3 Centri3 commented May 16, 2023

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented May 16, 2023

r? @xFrednet

(rustbot has picked a reviewer for you, use r? to override)

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label May 16, 2023
@xFrednet
Copy link
Contributor

Nice catch, thank you!

@bors r+

(Let's hope bors works again)

@bors
Copy link
Contributor

bors commented May 17, 2023

📌 Commit ae40b7f has been approved by xFrednet

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 18, 2023

⌛ Testing commit ae40b7f with merge cf182b9...

@bors
Copy link
Contributor

bors commented May 18, 2023

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

@bors bors merged commit cf182b9 into rust-lang:master May 18, 2023
@Centri3 Centri3 deleted the patch-1 branch June 11, 2023 13:42
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