Skip to content

Conversation

petrochenkov
Copy link
Contributor

@sanxiyn
Copy link
Contributor

sanxiyn commented Nov 17, 2015

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 17, 2015

📌 Commit a6cbb97 has been approved by sanxiyn

@bors
Copy link
Collaborator

bors commented Nov 17, 2015

⌛ Testing commit a6cbb97 with merge 05f29ea...

Manishearth added a commit to Manishearth/rust that referenced this pull request Nov 17, 2015
@bors
Copy link
Collaborator

bors commented Nov 17, 2015

⛄ The build was interrupted to prioritize another pull request.

bors added a commit that referenced this pull request Nov 17, 2015
@bors bors merged commit a6cbb97 into rust-lang:master Nov 17, 2015
@petrochenkov petrochenkov deleted the gv branch November 22, 2015 11:38
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.

4 participants