Skip to content

Fix broken tags in glossary #939

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 3 commits into from
Oct 28, 2020
Merged

Fix broken tags in glossary #939

merged 3 commits into from
Oct 28, 2020

Conversation

camelid
Copy link
Member

@camelid camelid commented Oct 27, 2020

  • Fix broken tags in glossary
  • Put TyCtxt at the right position

@camelid
Fix broken tags in glossary
63df8ed
@camelid
Put TyCtxt at the right position
fc66dbd 
It should now be at its alphabetical position.

Also fixed link to `TyCtxt` anchor.
@camelid camelid mentioned this pull request Oct 27, 2020
Closed
@jyn514 jyn514 self-assigned this Oct 28, 2020
@jyn514 jyn514 added the S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content label Oct 28, 2020
jyn514
jyn514 approved these changes Oct 28, 2020
View reviewed changes
Copy link
Member

@jyn514 jyn514 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for separating this into different commits.

@jyn514 jyn514 merged commit cc841a1 into rust-lang:master Oct 28, 2020
@camelid camelid deleted the fix-tags branch October 28, 2020 22:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jyn514 jyn514 jyn514 approved these changes

Assignees

@jyn514 jyn514

Labels
S-waiting-on-review Status: this PR is waiting for a reviewer to verify its content
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@camelid @jyn514