diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-27 15:31:42 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-27 15:38:08 +0200 |
commit | 0bbb8d22c42c536931e0467699221d03ad9827b7 (patch) | |
tree | 0f50ab1552062e4682e265f4663866ccaea3db35 /doc | |
parent | 6cd00432c39d97f6fc1e23fff59be58c8764c115 (diff) |
Travis: Fix builds wrongly reporting success after #31013
Seems to be a 5 year old bug that upstream doesn't care about.
https://github.com/travis-ci/travis-ci/issues/1066
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions