Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Undoing travis bump for now, as we can't just bump the versions, we'l…
…l need to bump the dist from precise to something newer (bionic?) at the same time.
- Loading branch information