HomeSoftware Heritage

Fix Travis CI pipeline

Description

Fix Travis CI pipeline

Details

Provenance
Dennis Hoppe <github@debian-solutions.de>Authored on Dec 17 2019, 12:07 PM
olasdPushed on Jan 13 2020, 2:13 PM
Parents
R192:a51b3b15a2cb: Remove obsolete check
Branches
Unknown
Tags
Unknown

Event Timeline

Dennis Hoppe <github@debian-solutions.de> committed R192:53b8ae358620: Fix Travis CI pipeline (authored by Dennis Hoppe <github@debian-solutions.de>).Dec 17 2019, 12:07 PM