Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Jan 14, 2023

Turns out we re-implemented what clients can already figure out through the use of location-links. We might want lazy resolves tooltips later on still, but for now this simplifies things again.

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

Veykril commented Jan 14, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Jan 14, 2023

📌 Commit f2444b2 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 14, 2023

⌛ Testing commit f2444b2 with merge ce6955c...

@bors
Copy link
Contributor

bors commented Jan 14, 2023

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

1 similar comment
@bors
Copy link
Contributor

bors commented Jan 14, 2023

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

@bors bors merged commit ce6955c into rust-lang:master Jan 14, 2023
@bors
Copy link
Contributor

bors commented Jan 14, 2023

👀 Test was successful, but fast-forwarding failed: 422 Changes must be made through a pull request.

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.

3 participants