Skip to content
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

sort unstable book alphabetically #40153

Merged
merged 1 commit into from
Mar 1, 2017

Conversation

steveklabnik
Copy link
Member

I made these the same order as they were in the compiler, but for no good reason. Much easier to find out what you need when they're sorted alphabetically

r? @frewsxcv

I made these the same order as they were in the compiler, but for no good reason. Much easier to find out what you need when they're sorted alphabetically
@frewsxcv
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Feb 28, 2017

📌 Commit 3a0437d has been approved by frewsxcv

steveklabnik added a commit to steveklabnik/rust that referenced this pull request Feb 28, 2017
…ook, r=frewsxcv

sort unstable book alphabetically

I made these the same order as they were in the compiler, but for no good reason. Much easier to find out what you need when they're sorted alphabetically

r? @frewsxcv
bors added a commit that referenced this pull request Feb 28, 2017
Rollup of 5 pull requests

- Successful merges: #40142, #40144, #40150, #40151, #40153
- Failed merges:
steveklabnik added a commit to steveklabnik/rust that referenced this pull request Feb 28, 2017
…ook, r=frewsxcv

sort unstable book alphabetically

I made these the same order as they were in the compiler, but for no good reason. Much easier to find out what you need when they're sorted alphabetically

r? @frewsxcv
bors added a commit that referenced this pull request Mar 1, 2017
Rollup of 5 pull requests

- Successful merges: #40130, #40142, #40150, #40151, #40153
- Failed merges:
@bors bors merged commit 3a0437d into rust-lang:master Mar 1, 2017
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants