Skip to content

Conversation

@rust-highfive
Copy link
Contributor

r? @pcwalton

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

@oli-obk
Copy link
Contributor Author

oli-obk commented May 23, 2015

r? @steveklabnik

@steveklabnik
Copy link
Contributor

@bors: r+ p=1000

@bors
Copy link
Collaborator

bors commented May 23, 2015

📌 Commit 40d6ca8 has been approved by steveklabnik

@eddyb
Copy link
Member

eddyb commented May 23, 2015

@bors r-
Commit 5263d62 caused the previous rollup, #25711, to fail on windows.

@oli-obk
Copy link
Contributor Author

oli-obk commented May 23, 2015

:( I don't have windows around to investigate and fix this. I'll try to remove that one PR

@eddyb
Copy link
Member

eddyb commented May 23, 2015

One way to do this is to r- the individual PR (I'll go do that now - EDIT @steveklabnik beat me to it) and re-create the rollup (force push to replace this branch would work, I hope).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
rollup A PR which is a rollup
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants