Skip to content

Conversation

@RunDevelopment
Copy link
Contributor

While reading the user manual, I noticed a random tick, so I went ahead and fixed it. The await keyword should be properly rendered as inline code.

image

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 13, 2023
@lnicola
Copy link
Member

lnicola commented Nov 20, 2023

Thanks!

@bors r+

@bors
Copy link
Contributor

bors commented Nov 20, 2023

📌 Commit 6705860 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Nov 20, 2023

⌛ Testing commit 6705860 with merge 3751429...

@bors
Copy link
Contributor

bors commented Nov 20, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing 3751429 to master...

@bors bors merged commit 3751429 into rust-lang:master Nov 20, 2023
@lnicola lnicola changed the title Fix typo in highlight_related.rs minor: Fix typo in highlight_related.rs Nov 20, 2023
@RunDevelopment RunDevelopment deleted the patch-1 branch November 20, 2023 21:16
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