Skip to content

Conversation

@nrc
Copy link
Member

@nrc nrc commented Sep 27, 2015

No description provided.

@rust-highfive
Copy link
Contributor

r? @jroesch

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

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@nrc
Copy link
Member Author

nrc commented Sep 28, 2015

The fail just needs to allow unknown attributes - an easy fix, so I'll wait for review first

@nrc
Copy link
Member Author

nrc commented Sep 28, 2015

r? @brson

@rust-highfive rust-highfive assigned brson and unassigned jroesch Sep 28, 2015
@brson
Copy link
Contributor

brson commented Sep 30, 2015

@bors r+

@bors
Copy link
Collaborator

bors commented Sep 30, 2015

📌 Commit 6784c41 has been approved by brson

@bors
Copy link
Collaborator

bors commented Sep 30, 2015

⌛ Testing commit 6784c41 with merge d482ed8...

@bors
Copy link
Collaborator

bors commented Sep 30, 2015

💔 Test failed - auto-linux-64-x-android-t

@bors
Copy link
Collaborator

bors commented Oct 1, 2015

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

@nrc
Copy link
Member Author

nrc commented Oct 5, 2015

@bors: r=brson

@bors
Copy link
Collaborator

bors commented Oct 5, 2015

📌 Commit 970639a has been approved by brson

@bors
Copy link
Collaborator

bors commented Oct 6, 2015

⌛ Testing commit 970639a with merge ea721d9...

@nrc
Copy link
Member Author

nrc commented Oct 6, 2015

@bors: r=brson

@bors
Copy link
Collaborator

bors commented Oct 6, 2015

📌 Commit b22231c has been approved by brson

@bors
Copy link
Collaborator

bors commented Oct 6, 2015

⌛ Testing commit b22231c with merge 3729b12...

bors added a commit that referenced this pull request Oct 6, 2015
@bors bors merged commit b22231c into rust-lang:master Oct 6, 2015
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