Skip to content

Conversation

@Jarcho
Copy link
Contributor

@Jarcho Jarcho commented Jul 5, 2024

Minor change to use find_map instead of a loop. Not important, but it's easier to read.

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Jul 5, 2024

r? @y21

rustbot has assigned @y21.
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 Jul 5, 2024
@y21
Copy link
Member

y21 commented Jul 5, 2024

nice, looks good

@bors r+

@bors
Copy link
Contributor

bors commented Jul 5, 2024

📌 Commit ac939ad has been approved by y21

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 5, 2024

⌛ Testing commit ac939ad with merge e7f2952...

@bors
Copy link
Contributor

bors commented Jul 5, 2024

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

@bors bors merged commit e7f2952 into rust-lang:master Jul 5, 2024
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.

4 participants