Skip to content

Conversation

mataha
Copy link
Contributor

@mataha mataha commented May 13, 2023

As it shouldn't be there to begin with (per discussion in #14689).

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

Veykril commented May 13, 2023

Thanks for catching this :)
@bors r+

@bors
Copy link
Contributor

bors commented May 13, 2023

📌 Commit 9fff960 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 13, 2023

⌛ Testing commit 9fff960 with merge f38264f...

@bors
Copy link
Contributor

bors commented May 13, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing f38264f to master...

@bors bors merged commit f38264f into rust-lang:master May 13, 2023
@mataha mataha deleted the fix/root-in-verbatim-prefix branch May 13, 2023 17:17
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