Skip to content

Conversation

samueltardieu
Copy link
Member

@samueltardieu samueltardieu commented Nov 23, 2024

Found while reading code: the comment was incorrect as it stops counting as soon as two elements are different.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Nov 23, 2024

r? @llogiq

rustbot has assigned @llogiq.
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 Nov 23, 2024
@llogiq
Copy link
Contributor

llogiq commented Nov 25, 2024

Thank you!

@llogiq llogiq added this pull request to the merge queue Nov 25, 2024
Merged via the queue into rust-lang:master with commit d49501c Nov 25, 2024
9 checks passed
@samueltardieu samueltardieu deleted the push-wxswzntprntx branch December 30, 2024 23:49
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.

3 participants