Skip to content

Apply eddyb's comments made in #58894 #59791

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
GuillaumeGomez opened this issue Apr 8, 2019 · 1 comment
Closed

Apply eddyb's comments made in #58894 #59791

GuillaumeGomez opened this issue Apr 8, 2019 · 1 comment
Assignees
@GuillaumeGomez
Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.

Comments

@GuillaumeGomez
Copy link
Member

No description provided.

@GuillaumeGomez GuillaumeGomez added the T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. label Apr 8, 2019
@GuillaumeGomez GuillaumeGomez self-assigned this Apr 8, 2019
@jyn514
Copy link
Member

jyn514 commented Aug 25, 2020

Relevant comments: #58894 (comment)

Looks like this was reverted in #59789, so closing.

@jyn514 jyn514 closed this as completed Aug 25, 2020
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@GuillaumeGomez GuillaumeGomez

Labels
T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@GuillaumeGomez @jyn514