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.

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

Fix travis build #3644

Merged
merged 2 commits into from
Oct 16, 2017
Merged

Fix travis build #3644

merged 2 commits into from
Oct 16, 2017

Conversation

Danielhiversen
Copy link
Member

Description:

This fixes the travis build failure from pr #3467

@Danielhiversen
Copy link
Member Author

Danielhiversen commented Oct 16, 2017 •
edited
Loading

@fabaff Any idea why travis did not ran for #3467 ?
It seems that travis is not running for any pr?

@fabaff
Copy link
Member

fabaff commented Oct 16, 2017

It seems that travis is not running for any pr?

True, I can remember what the trigger/requirement was for a Travis run at the moment. No real access to the internet.

fabaff
fabaff approved these changes Oct 16, 2017
View reviewed changes
Copy link
Member

@fabaff fabaff left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks 🐦

@fabaff fabaff added Fix/Formatting/Language/Spelling Hacktoberfest An PR on this issue (or the PR itself) is eligible towards Hacktoberfest! labels Oct 16, 2017
@fabaff fabaff merged commit ea3b8e3 into next Oct 16, 2017
@fabaff fabaff deleted the Danielhiversen-patch-2 branch October 16, 2017 21:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fabaff fabaff fabaff approved these changes

Assignees
No one assigned
Labels
Hacktoberfest An PR on this issue (or the PR itself) is eligible towards Hacktoberfest!
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@Danielhiversen @fabaff