Skip to content

[ci] travis workaround

Carlos Pascual requested to merge github/fork/avagin/develop into develop

A workaround for latest travis build fails (see https://github.com/travis-ci/travis-ci/issues/8920)

Thanks @avagin !

Merge request reports