This repository has been archived by the owner on May 17, 2021. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This patch enables Travis CI which will build pull requests before they are merged so that merges will not break the build as easily anymore.
- Loading branch information