Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Release engineering of check-connectivity #145
This is part of the release engineering activities that I'm carrying out this weekend.
This pull request is simple-enough to qualify as hotfix. I will merge it shortly after travis-ci confirms that this is possible.