Revision f01c53b2cdb904262f1240f4a69a25ea85c71adb

Committed on 12/06/2017 5:32 am by Jérôme Vieilledent <[email protected]> [GitHub Diff]

Adapted .travis.yml