Skip to content

Conversation

jonas-schievink
Copy link
Contributor

No description provided.

@rust-highfive
Copy link
Contributor

r? @jroesch

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

@steveklabnik
Copy link
Contributor

👍

@jroesch
Copy link
Contributor

jroesch commented Feb 10, 2016

@bors r+

@bors
Copy link
Collaborator

bors commented Feb 10, 2016

📌 Commit 898db25 has been approved by jroesch

@bors
Copy link
Collaborator

bors commented Feb 11, 2016

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

@jonas-schievink
Copy link
Contributor Author

Rebased

@bors
Copy link
Collaborator

bors commented Feb 11, 2016

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

@jonas-schievink
Copy link
Contributor Author

Rebased

@bors
Copy link
Collaborator

bors commented Feb 12, 2016

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

@jonas-schievink
Copy link
Contributor Author

Rebased

@bors
Copy link
Collaborator

bors commented Feb 12, 2016

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

@jonas-schievink
Copy link
Contributor Author

Help I'm trapped in a merge conflict factory!

@steveklabnik
Copy link
Contributor

Gah.

If you fix it again, i'll r+ with a high priority

@jonas-schievink
Copy link
Contributor Author

Fixed

@steveklabnik
Copy link
Contributor

@bors: r+ p=1

@bors
Copy link
Collaborator

bors commented Feb 12, 2016

📌 Commit 559fca0 has been approved by steveklabnik

@bors
Copy link
Collaborator

bors commented Feb 13, 2016

⌛ Testing commit 559fca0 with merge 3548b8c...

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