Skip to content

Conversation

Alexendoo
Copy link
Member

Ensures we catch all the places that doc comments could occur, found one that we were currently missing - docs on extern items

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Apr 5, 2024

r? @Jarcho

rustbot has assigned @Jarcho.
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 Apr 5, 2024
@Jarcho
Copy link
Contributor

Jarcho commented Apr 12, 2024

Thank you. @bors r+

@bors
Copy link
Contributor

bors commented Apr 12, 2024

📌 Commit d4a8f61 has been approved by Jarcho

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Apr 12, 2024

⌛ Testing commit d4a8f61 with merge 0d84f00...

@bors
Copy link
Contributor

bors commented Apr 12, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: Jarcho
Pushing 0d84f00 to master...

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