Skip to content

Random Travis-CI build failures

Bastien Le Querrec requested to merge fix_travis_crash into master

Like this one, builds may fail. Rebuilding the push usually fixes the failure.

Merge request reports