Skip to content

Conversation

shepmaster
Copy link
Member

No description provided.

@rust-highfive
Copy link
Contributor

r? @aturon

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

@steveklabnik
Copy link
Contributor

@bors: r+ rollup

thank you!

@bors
Copy link
Collaborator

bors commented May 4, 2016

📌 Commit a11ddb3 has been approved by steveklabnik

@Manishearth
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented May 4, 2016

💡 This pull request was already approved, no need to approve it again.

@bors
Copy link
Collaborator

bors commented May 4, 2016

📌 Commit a11ddb3 has been approved by Manishearth

steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 5, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 5, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 5, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 6, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
GuillaumeGomez added a commit to GuillaumeGomez/rust that referenced this pull request May 7, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 7, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
steveklabnik added a commit to steveklabnik/rust that referenced this pull request May 7, 2016
…Manishearth

Replace copy-pasted variable name with relevant one
bors added a commit that referenced this pull request May 7, 2016
@bors bors merged commit a11ddb3 into rust-lang:master May 7, 2016
@shepmaster shepmaster deleted the copied-variable-name branch May 8, 2016 17:21
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.

6 participants