Skip to content

Conversation

klensy
Copy link
Contributor

@klensy klensy commented Oct 15, 2024

Bump opener to sync with rustc repo.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Oct 15, 2024

r? @xFrednet

rustbot has assigned @xFrednet.
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 Oct 15, 2024
@flip1995
Copy link
Member

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Oct 15, 2024

📌 Commit 590fdfb has been approved by flip1995

It is now in the queue for this repository.

@xFrednet xFrednet assigned flip1995 and unassigned xFrednet Oct 15, 2024
@bors
Copy link
Contributor

bors commented Oct 15, 2024

⌛ Testing commit 590fdfb with merge 1563ce5...

@bors
Copy link
Contributor

bors commented Oct 15, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing 1563ce5 to master...

@bors bors merged commit 1563ce5 into rust-lang:master Oct 15, 2024
5 checks passed
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.

5 participants