Skip to content

Conversation

marcoieni
Copy link
Member

@marcoieni marcoieni commented Aug 25, 2025

This PR clarifies that the list is an OR, instead of an AND.

As discussed in #t-infra > meeting 2025-08-25 @ 💬 this isn't clear.

Rendered

@rustbot
Copy link
Collaborator

rustbot commented Aug 25, 2025

r? @Kobzol

rustbot has assigned @Kobzol.
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 Aug 25, 2025
Copy link
Member

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

@Kobzol Kobzol enabled auto-merge August 25, 2025 14:24
@Kobzol Kobzol merged commit 7481038 into rust-lang:master Aug 25, 2025
1 check passed
@rustbot rustbot removed the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Aug 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants