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

Jump to bottom

usize index message for vec #45133

Merged
merged 1 commit into from
Oct 13, 2017
Merged

usize index message for vec #45133

merged 1 commit into from
Oct 13, 2017

Conversation

GuillaumeGomez
Copy link
Member

No description provided.

@rust-highfive
Copy link
Collaborator

r? @dtolnay

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

dtolnay
dtolnay approved these changes Oct 9, 2017
View reviewed changes
Copy link
Member

@dtolnay dtolnay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Great!

@dtolnay
Copy link
Member

dtolnay commented Oct 9, 2017

@bors r+

@bors
Copy link
Contributor

bors commented Oct 9, 2017

📌 Commit a28b246 has been approved by dtolnay

@carols10cents carols10cents added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Oct 9, 2017
@bors
Copy link
Contributor

bors commented Oct 11, 2017

⌛ Testing commit a28b246 with merge 673f1287f47d50acad0242c0dd5019b2061ae453...

@bors
Copy link
Contributor

bors commented Oct 11, 2017

💔 Test failed - status-travis

@kennytm
Copy link
Member

kennytm commented Oct 11, 2017

@bors retry

@Mark-Simulacrum
Copy link
Member

@bors rollup

kennytm added a commit to kennytm/rust that referenced this pull request Oct 13, 2017
@kennytm
Rollup merge of rust-lang#45133 - GuillaumeGomez:usize-index-msg, r=d…
b290568 
…tolnay

usize index message for vec
@kennytm kennytm mentioned this pull request Oct 13, 2017
Merged
bors added a commit that referenced this pull request Oct 13, 2017
@bors
Auto merge of #45261 - kennytm:rollup, r=kennytm
6cb49d2 
Rollup of 14 pull requests

- Successful merges: #44855, #45110, #45122, #45133, #45173, #45178, #45189, #45203, #45209, #45221, #45236, #45240, #45245, #45253
- Failed merges:
@bors bors merged commit a28b246 into rust-lang:master Oct 13, 2017
@GuillaumeGomez GuillaumeGomez deleted the usize-index-msg branch October 14, 2017 13:42
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@dtolnay dtolnay dtolnay approved these changes

Assignees

@dtolnay dtolnay

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@GuillaumeGomez @rust-highfive @dtolnay @bors @kennytm @Mark-Simulacrum @carols10cents