Unverified Commit 7d1fbf60 authored by Guilhem Saurel's avatar Guilhem Saurel Committed by GitHub

Merge pull request #78 from jmirabel/master

[CI] Disable Travis.
parents 25583f44 9ebbca03
Pipeline #11866 passed with stage
in 9 minutes and 36 seconds