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

update tracking issue for once_poison #33578

Merged
merged 1 commit into from
May 21, 2016
Merged

update tracking issue for once_poison #33578

merged 1 commit into from
May 21, 2016

Conversation

durka
Copy link
Contributor

@durka durka commented May 12, 2016

The tracking issue for once_poison was noted as #31688 which was closed, so it now points to the new #33577.

@rust-highfive
Copy link
Collaborator

r? @brson

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

@durka
Copy link
Contributor Author

durka commented May 12, 2016

r? @alexcrichton

@rust-highfive rust-highfive assigned alexcrichton and unassigned brson May 12, 2016
@brson
Copy link
Contributor

brson commented May 12, 2016

@bors r+ rollup

@bors
Copy link
Contributor

bors commented May 12, 2016

📌 Commit c2ca7a8 has been approved by brson

bors added a commit that referenced this pull request May 12, 2016
bors added a commit that referenced this pull request May 14, 2016
Rollup of 15 pull requests

- Successful merges: #33342, #33393, #33415, #33475, #33517, #33533, #33534, #33565, #33580, #33590, #33591, #33598, #33603, #33604, #33605
- Failed merges: #33578
bors added a commit that referenced this pull request May 15, 2016
@bors
Copy link
Contributor

bors commented May 15, 2016

☔ The latest upstream changes (presumably #33658) made this pull request unmergeable. Please resolve the merge conflicts.

bors added a commit that referenced this pull request May 16, 2016
bors added a commit that referenced this pull request May 20, 2016
Rollup of 6 pull requests

- Successful merges: #33668, #33676, #33683, #33734, #33739, #33745
- Failed merges: #33578
@alexcrichton
Copy link
Member

ping @durka, wanna rebase this?

The tracking issue for once_poison was noted as rust-lang#31688 which was closed, so it now points to the new rust-lang#33577.
@durka
Copy link
Contributor Author

durka commented May 21, 2016

Rebased. Sorry for the delay, couldn't figure out what was happening with all the rollups.

@alexcrichton
Copy link
Member

@bors: r+ b9d1e76

No worries!

Manishearth added a commit to Manishearth/rust that referenced this pull request May 21, 2016
update tracking issue for once_poison

The tracking issue for once_poison was noted as rust-lang#31688 which was closed, so it now points to the new rust-lang#33577.
bors added a commit that referenced this pull request May 21, 2016
Rollup of 7 pull requests

- Successful merges: #33578, #33679, #33743, #33746, #33747, #33750, #33757
- Failed merges:
@bors bors merged commit b9d1e76 into rust-lang:master May 21, 2016
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.

5 participants