Skip to content

Conversation

JohnTitor
Copy link
Member

@rustbot
Copy link
Collaborator

rustbot commented Nov 11, 2023

@JohnTitor: no appropriate reviewer found, use r? to override

@bors
Copy link
Contributor

bors commented Nov 11, 2023

☔ The latest upstream changes (presumably #3429) made this pull request unmergeable. Please resolve the merge conflicts.

@JohnTitor
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Nov 11, 2023

📌 Commit 874e527 has been approved by JohnTitor

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 11, 2023

⌛ Testing commit 874e527 with merge f5172d2...

@bors
Copy link
Contributor

bors commented Nov 11, 2023

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

@bors bors merged commit f5172d2 into rust-lang:main Nov 11, 2023
@JohnTitor JohnTitor deleted the bump-std-freebsd branch November 12, 2023 00:50
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.

3 participants