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

1342 adjust to changed hets interface #1343

Merged
merged 3 commits into from
May 19, 2015

Conversation

eugenk
Copy link
Member

@eugenk eugenk commented May 6, 2015

Shall fix #1342.

@eugenk
Copy link
Member Author

eugenk commented May 6, 2015

This will fail on travis/jenkins today, because they don't have the minimal hets version. This should be fixed automatically tomorrow or the day after.

@0robustus1
Copy link
Contributor

👍

eugenk added a commit that referenced this pull request May 19, 2015
…erface

1342 adjust to changed hets interface
@eugenk eugenk merged commit 6fadfb2 into staging May 19, 2015
@eugenk eugenk deleted the 1342-adjust_to_changed_hets_interface branch May 19, 2015 12:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Adjust to changed Hets interface.
2 participants