Skip to content

Conversation

@devnexen
Copy link
Contributor

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Nov 13, 2023

r? @JohnTitor

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

@devnexen
Copy link
Contributor Author

ah maybe #3442 needs to be merged first..

@JohnTitor
Copy link
Member

Yeah, it has been fixed now, @bors r+

@bors
Copy link
Contributor

bors commented Nov 14, 2023

📌 Commit d78de29 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 14, 2023

⌛ Testing commit d78de29 with merge 8d6393e...

@bors
Copy link
Contributor

bors commented Nov 14, 2023

☀️ Test successful - checks-actions, checks-cirrus-freebsd-12, checks-cirrus-freebsd-13, checks-cirrus-freebsd-14
Approved by: JohnTitor
Pushing 8d6393e to main...

@bors bors merged commit 8d6393e into rust-lang:main Nov 14, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants