Skip to content

Remove more snippet_opt calls#13255

Merged
bors merged 2 commits intorust-lang:masterfrom
Jarcho:get_src_display2
Aug 12, 2024
Merged

Remove more snippet_opt calls#13255
bors merged 2 commits intorust-lang:masterfrom
Jarcho:get_src_display2

Conversation

@Jarcho
Copy link
Copy Markdown
Contributor

@Jarcho Jarcho commented Aug 11, 2024

First commit is the same as #13244

changelog: none

@rustbot
Copy link
Copy Markdown
Collaborator

rustbot commented Aug 11, 2024

r? @Manishearth

rustbot has assigned @Manishearth.
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 11, 2024
@Manishearth
Copy link
Copy Markdown
Member

@bors r+

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 12, 2024

📌 Commit ddf2ba5 has been approved by Manishearth

It is now in the queue for this repository.

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 12, 2024

⌛ Testing commit ddf2ba5 with merge 1984752...

@bors
Copy link
Copy Markdown
Contributor

bors commented Aug 12, 2024

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

@bors bors merged commit 1984752 into rust-lang:master Aug 12, 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