Skip to content

Conversation

samueltardieu
Copy link
Member

changelog: none

Fix #13497

@rustbot
Copy link
Collaborator

rustbot commented Oct 5, 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 5, 2024
@xFrednet
Copy link
Contributor

xFrednet commented Oct 6, 2024

Thanks, the versions are usually corrected, when the changelog is written. But it's fine to update them earlier.


Roses are red,
Violets are blue,
The lint is not yet stable,
But #[version] said so

@bors
Copy link
Contributor

bors commented Oct 6, 2024

📌 Commit 0596a04 has been approved by xFrednet

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 6, 2024

⌛ Testing commit 0596a04 with merge f7aaecf...

@bors
Copy link
Contributor

bors commented Oct 6, 2024

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

@bors bors merged commit f7aaecf into rust-lang:master Oct 6, 2024
8 checks passed
@samueltardieu samueltardieu deleted the push-zyqvkwlswvkk branch November 3, 2024 16:17
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.

Wrong unused_result_ok version
4 participants