Skip to content

Conversation

durka
Copy link
Contributor

@durka durka commented Jan 13, 2016

@nagisa
Copy link
Member

nagisa commented Jan 13, 2016

Seems OK.

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 13, 2016

📌 Commit 33b12be has been approved by nagisa

@nagisa
Copy link
Member

nagisa commented Jan 13, 2016

Since it is a trivial change…

@bors rollup

Manishearth added a commit to Manishearth/rust that referenced this pull request Jan 14, 2016
bors added a commit that referenced this pull request Jan 14, 2016
@bors bors merged commit 33b12be into rust-lang:master Jan 14, 2016
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