Skip to content

Fix a few stability attributes#41380

Merged
bors merged 1 commit into
rust-lang:masterfrom
ollie27:stability
Apr 20, 2017
Merged

Fix a few stability attributes#41380
bors merged 1 commit into
rust-lang:masterfrom
ollie27:stability

Conversation

@ollie27

@ollie27 ollie27 commented Apr 18, 2017

Copy link
Copy Markdown
Contributor

These show up in rustdoc so need to be correct.

These show up in rustdoc so need to be correct.
@rust-highfive

Copy link
Copy Markdown
Contributor

r? @BurntSushi

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

@frewsxcv frewsxcv added T-libs-api Relevant to the library API team, which will review and decide on the PR/issue. S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Apr 19, 2017
@BurntSushi

Copy link
Copy Markdown
Member

Thanks @ollie27!

@bors r+

@bors

bors commented Apr 19, 2017

Copy link
Copy Markdown
Collaborator

📌 Commit fd325a1 has been approved by BurntSushi

frewsxcv added a commit to frewsxcv/rust that referenced this pull request Apr 19, 2017
Fix a few stability attributes

These show up in rustdoc so need to be correct.
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Apr 19, 2017
Fix a few stability attributes

These show up in rustdoc so need to be correct.
frewsxcv added a commit to frewsxcv/rust that referenced this pull request Apr 20, 2017
Fix a few stability attributes

These show up in rustdoc so need to be correct.
bors added a commit that referenced this pull request Apr 20, 2017
Rollup of 7 pull requests

- Successful merges: #41295, #41348, #41374, #41380, #41391, #41398, #41403
- Failed merges: #41376
@bors bors merged commit fd325a1 into rust-lang:master Apr 20, 2017
@ollie27 ollie27 deleted the stability branch April 20, 2017 12:07
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. T-libs-api Relevant to the library API team, which will review and decide on the PR/issue.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants