Skip to content

Conversation

@GuillaumeGomez
Copy link
Member

Copy link
Member

Choose a reason for hiding this comment

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

Please verify that the name wasn't misspelled and ensure that the identifier being referred to is valid for the given situation.

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Aug 11, 2015

📌 Commit f1e613e has been approved by Manishearth

Manishearth added a commit to Manishearth/rust that referenced this pull request Aug 11, 2015
alexcrichton added a commit to alexcrichton/rust that referenced this pull request Aug 12, 2015
@bors bors merged commit f1e613e into rust-lang:master Aug 12, 2015
@GuillaumeGomez GuillaumeGomez deleted the patch-4 branch November 24, 2017 20:56
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.

3 participants