Skip to content

Toggle wrappers are now generated correctly #42972

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

Merged
merged 1 commit into from
Jul 5, 2017

Conversation

GuillaumeGomez
Copy link
Member

Fixes #42674.

@rust-highfive
Copy link
Contributor

Some changes occurred in HTML/CSS.

cc @GuillaumeGomez

@rust-highfive
Copy link
Contributor

r? @steveklabnik

(rust_highfive has picked a reviewer for you, use r? to override)

@GuillaumeGomez
Copy link
Member Author

r? @frewsxcv

@frewsxcv
Copy link
Member

reassigning to someone on the dev tools team. I think @QuietMisdreavus is?

@frewsxcv frewsxcv added the T-dev-tools Relevant to the dev-tools subteam, which will review and decide on the PR/issue. label Jun 29, 2017
@shepmaster shepmaster added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jun 30, 2017
@QuietMisdreavus
Copy link
Member

Technically, both @steveklabnik and I are in the rustdoc tool peers, so either way works.

@bors r+

@bors
Copy link
Collaborator

bors commented Jul 5, 2017

📌 Commit 7327cf7 has been approved by QuietMisdreavus

@bors
Copy link
Collaborator

bors commented Jul 5, 2017

⌛ Testing commit 7327cf7 with merge 3610a70...

bors added a commit that referenced this pull request Jul 5, 2017
…dreavus

Toggle wrappers are now generated correctly

Fixes #42674.
@bors
Copy link
Collaborator

bors commented Jul 5, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: QuietMisdreavus
Pushing 3610a70 to master...

@bors bors merged commit 7327cf7 into rust-lang:master Jul 5, 2017
@GuillaumeGomez GuillaumeGomez deleted the fix-toggles-rustdoc branch July 6, 2017 14:12
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-dev-tools Relevant to the dev-tools subteam, which will review and decide on the PR/issue.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants