Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.
Sign up[beta] backports #42161
Conversation
jseyfried
and others
added some commits
May 15, 2017
rust-highfive
assigned
alexcrichton
May 23, 2017
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
|
@bors: r+ p=1 |
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
bors
added a commit
that referenced
this pull request
May 23, 2017
This comment has been minimized.
This comment has been minimized.
|
|
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
|
@bors p=20 (above rollup because beta branches soonish) |
This comment has been minimized.
This comment has been minimized.
|
No, bors, I really did mean p=20, not rollup... @bors p=20 |
This comment has been minimized.
This comment has been minimized.
|
@bors p=20 |
This comment has been minimized.
This comment has been minimized.
|
@bors -rollup I think this is the syntax I might've seen @steveklabnik use. |
This comment has been minimized.
This comment has been minimized.
|
@bors rollup- p=20 |
This comment has been minimized.
This comment has been minimized.
bors
added a commit
that referenced
this pull request
May 23, 2017
This comment has been minimized.
This comment has been minimized.
|
|
bors
merged commit 61063b0
into
rust-lang:beta
May 23, 2017
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
brson commentedMay 23, 2017
Bumps the version so we get a new beta.
@sfackler libs backports here
@nikomatsakis there are several other nominated PRs that don't cherry-pick cleanly: https://github.com/rust-lang/rust/pulls?q=is%3Apr+label%3Abeta-nominated+is%3Aclosed. Can you take a look or recruit someone else to?
r? @alexcrichton