Skip to content

Minor version bump. #1115

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.

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

Merged
merged 1 commit into from
Oct 28, 2017
Merged

Minor version bump. #1115

merged 1 commit into from
Oct 28, 2017

Conversation

emilio
Copy link
Contributor

@emilio emilio commented Oct 28, 2017

Only bugfixes have landed since the last release (#1112 and #1114), apart from
doc fixes.

Only bugfixes have landed since the last release (rust-lang#1112 and rust-lang#1114), apart from
doc fixes.
@emilio
Copy link
Contributor Author

emilio commented Oct 28, 2017

r? @pepyakin or @fitzgen

@pepyakin
Copy link
Contributor

LGTM!

@bors-servo r+

@bors-servo
Copy link

📌 Commit fefbbb5 has been approved by pepyakin

@bors-servo
Copy link

⌛ Testing commit fefbbb5 with merge 77046b7...

bors-servo pushed a commit that referenced this pull request Oct 28, 2017
Minor version bump.

Only bugfixes have landed since the last release (#1112 and #1114), apart from
doc fixes.
@bors-servo
Copy link

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

@bors-servo bors-servo merged commit fefbbb5 into rust-lang:master Oct 28, 2017
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