Skip to content

Minor version bump. #1233

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jan 22, 2018
Merged

Minor version bump. #1233

merged 1 commit into from
Jan 22, 2018

Conversation

emilio
Copy link
Contributor

@emilio emilio commented Jan 22, 2018

Closes #1231.

@emilio
Copy link
Contributor Author

emilio commented Jan 22, 2018

r? @pepyakin

@emilio
Copy link
Contributor Author

emilio commented Jan 22, 2018

(or @fitzgen of course :P)

@pepyakin
Copy link
Contributor

@bors-servo r+

Nice!

@bors-servo
Copy link

📌 Commit a468105 has been approved by pepyakin

@bors-servo
Copy link

⌛ Testing commit a468105 with merge b371224...

bors-servo pushed a commit that referenced this pull request Jan 22, 2018
Auto merge of #1233 - emilio:bump, r=pepyakin
b371224 
Minor version bump.

Closes #1231.
@emilio
Copy link
Contributor Author

emilio commented Jan 22, 2018

Thanks for the reviews @pepyakin! :)

@emilio emilio mentioned this pull request Jan 22, 2018
Closed
@bors-servo
Copy link

☀️ Test successful - status-travis
Approved by: pepyakin
Pushing b371224 to master...

@bors-servo bors-servo merged commit a468105 into rust-lang:master Jan 22, 2018
@emilio emilio deleted the bump branch January 22, 2018 11:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@pepyakin pepyakin

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@emilio @pepyakin @bors-servo @highfive