Skip to content

Reorder sections in doc/index.md #28269

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.

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

Merged
merged 2 commits into from
Sep 6, 2015
Merged

Conversation

petrochenkov
Copy link
Contributor

This is what I was talking about in #26462 (comment)

r? @steveklabnik

@steveklabnik
Copy link
Member

@bors: r+ rollup

@bors
Copy link
Collaborator

bors commented Sep 6, 2015

📌 Commit c34f350 has been approved by steveklabnik

@steveklabnik
Copy link
Member

Sounds good 👍

@bors
Copy link
Collaborator

bors commented Sep 6, 2015

⌛ Testing commit c34f350 with merge 8320edd...

@bors
Copy link
Collaborator

bors commented Sep 6, 2015

💔 Test failed - auto-win-gnu-64-nopt-t

@steveklabnik
Copy link
Member

steveklabnik commented Sep 6, 2015 via email

bors added a commit that referenced this pull request Sep 6, 2015
@bors
Copy link
Collaborator

bors commented Sep 6, 2015

⌛ Testing commit c34f350 with merge 01b9cc5...

@bors bors merged commit c34f350 into rust-lang:master Sep 6, 2015
@petrochenkov petrochenkov deleted the docorder branch September 21, 2015 13:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants