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

minor: Add a stable #visual-studio anchor to the Manual #16361

Merged
merged 1 commit into from
Jan 15, 2024

Conversation

dtolnay
Copy link
Member

@dtolnay dtolnay commented Jan 14, 2024

Helpful for rust-lang/www.rust-lang.org#1915 so we have a persistent place to link as "Visual Studio" from the Rust website.

Syntax reference: https://docs.asciidoctor.org/asciidoc/latest/sections/custom-ids/#assign-auxiliary-ids

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

Veykril commented Jan 15, 2024

We'll have to change the link to the manual once lands again #15795 once I get back to that PR (mainly commenting this for cross-linking)

Thanks!

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 15, 2024

📌 Commit 02d21f2 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jan 15, 2024

⌛ Testing commit 02d21f2 with merge 0b19e48...

@bors
Copy link
Collaborator

bors commented Jan 15, 2024

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

@bors bors merged commit 0b19e48 into rust-lang:master Jan 15, 2024
10 checks passed
@dtolnay dtolnay deleted the visualstudio branch January 15, 2024 11:10
@lnicola lnicola changed the title Add a stable #visual-studio anchor to the Manual minor: Add a stable #visual-studio anchor to the Manual Jan 20, 2024
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.

None yet

4 participants