Skip to content
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

Version bump. #315

Merged
merged 1 commit into from Jan 12, 2019
Merged

Version bump. #315

merged 1 commit into from Jan 12, 2019

Conversation

@emilio
Copy link
Member

emilio commented Jan 12, 2019

This change is Reviewable

@nox
Copy link
Member

nox commented Jan 12, 2019

@bors-servo
Copy link
Contributor

bors-servo commented Jan 12, 2019

📌 Commit e3c6dc9 has been approved by nox

@bors-servo
Copy link
Contributor

bors-servo commented Jan 12, 2019

Testing commit e3c6dc9 with merge c0d12c1...

bors-servo added a commit that referenced this pull request Jan 12, 2019
Version bump.

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/euclid/315)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

bors-servo commented Jan 12, 2019

☀️ Test successful - checks-travis
Approved by: nox
Pushing c0d12c1 to master...

@bors-servo bors-servo merged commit e3c6dc9 into master Jan 12, 2019
3 checks passed
3 checks passed
Travis CI - Branch Build Passed
Details
Travis CI - Pull Request Build Passed
Details
homu Test successful
Details
@kvark kvark deleted the up branch Feb 1, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

3 participants
You can’t perform that action at this time.