Commit 227ace0f0c9f86807d0c1ec20e2076b8c4234b5d

Edward Thomson 2018-08-14T20:32:42

Merge pull request #4764 from tiennou/ci/coverity-only ci: Correct the status code check so Coverity doesn't force-fail Travis