Merge pull request #368 from TheBlueMatt/2019-07-travis-fix
authorMatt Corallo <649246+TheBlueMatt@users.noreply.github.com>
Tue, 30 Jul 2019 18:26:11 +0000 (18:26 +0000)
committerGitHub <noreply@github.com>
Tue, 30 Jul 2019 18:26:11 +0000 (18:26 +0000)
Fix travis failure if previous travis run on branch failed to build


Trivial merge