Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix: tweak hover/tooltip links #17709

Merged
merged 1 commit into from
Jul 26, 2024
Merged

Conversation

Young-Flash
Copy link
Member

close #17628

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

Veykril commented Jul 26, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jul 26, 2024

📌 Commit 3881726 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jul 26, 2024

⌛ Testing commit 3881726 with merge aae54dd...

@bors
Copy link
Collaborator

bors commented Jul 26, 2024

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

@bors bors merged commit aae54dd into rust-lang:master Jul 26, 2024
11 checks passed
@Young-Flash Young-Flash deleted the hover_tooltip branch July 27, 2024 04:11
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.

Type hover/tooltip links always link to outer-most type
4 participants