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

redox: handle multiple paths in PATH #43304

Merged
merged 1 commit into from Jul 19, 2017
Merged

redox: handle multiple paths in PATH #43304

merged 1 commit into from Jul 19, 2017

Conversation

@ids1024
Copy link
Contributor

@ids1024 ids1024 commented Jul 18, 2017

No description provided.

@rust-highfive
Copy link
Collaborator

@rust-highfive rust-highfive commented Jul 18, 2017

r? @aturon

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

@ids1024 ids1024 force-pushed the ids1024:path2 branch from 07f28de to 6f80cd7 Jul 18, 2017
@aturon
Copy link
Member

@aturon aturon commented Jul 18, 2017

@bors: r+ rollup

@bors
Copy link
Contributor

@bors bors commented Jul 18, 2017

📌 Commit 6f80cd7 has been approved by aturon

Mark-Simulacrum added a commit to Mark-Simulacrum/rust that referenced this pull request Jul 18, 2017
redox: handle multiple paths in PATH
bors added a commit that referenced this pull request Jul 18, 2017
Rollup of 11 pull requests

- Successful merges: #42837, #43282, #43287, #43290, #43292, #43294, #43304, #43310, #43312, #43314, #43315
- Failed merges:
bors added a commit that referenced this pull request Jul 18, 2017
Rollup of 11 pull requests

- Successful merges: #42837, #43282, #43287, #43290, #43292, #43294, #43304, #43310, #43312, #43314, #43315
- Failed merges:
@bors bors merged commit 6f80cd7 into rust-lang:master Jul 19, 2017
1 check passed
1 check passed
continuous-integration/travis-ci/pr The Travis CI build passed
Details
@ids1024 ids1024 deleted the ids1024:path2 branch Oct 5, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

5 participants