Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
travis is too slow for us and confuse contributors, who think they have to get travis tests green. We have now pr bots instead. (cherry picked from commit 44917c4)
- Loading branch information