Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Also: Removes an old setting from Travis. See https://blog.travis-ci.com/2018-11-19-required-linux-infrastructure-migration
- Loading branch information