Skip to content

Conversation

GuillaumeGomez
Copy link
Member

Follow-up of #80119.

This is the last one (and I actually expected more conversions but seems like it was the last one remaining...).

r? @jyn514

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Dec 18, 2020
@jyn514 jyn514 changed the title Continue String to Symbol conversion in rustdoc Continue String to Symbol conversion in rustdoc (2) Dec 18, 2020
@jyn514
Copy link
Member

jyn514 commented Dec 18, 2020

@bors r+ rollup=never

@bors
Copy link
Collaborator

bors commented Dec 18, 2020

📌 Commit 57266f1 has been approved by jyn514

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Dec 18, 2020
@bors
Copy link
Collaborator

bors commented Dec 18, 2020

⌛ Testing commit 57266f1 with merge 50a9097...

@bors
Copy link
Collaborator

bors commented Dec 19, 2020

☀️ Test successful - checks-actions
Approved by: jyn514
Pushing 50a9097 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 19, 2020
@bors bors merged commit 50a9097 into rust-lang:master Dec 19, 2020
@rustbot rustbot added this to the 1.50.0 milestone Dec 19, 2020
@GuillaumeGomez GuillaumeGomez deleted the str-to-symbol branch December 19, 2020 11:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants