HomeSoftware Heritage

Add Debian 10 to metadata and travis matrix

Description

Add Debian 10 to metadata and travis matrix

Details

Provenance
Michael Krause <krause@mpib-berlin.mpg.de>Authored on Jan 6 2020, 5:26 PM
olasdPushed on Jan 13 2020, 2:13 PM
Parents
rSPNGXb893516d18d2: manage repo for Debian 10
Branches
Unknown
Tags
Unknown

Event Timeline

Michael Krause <krause@mpib-berlin.mpg.de> committed rSPNGXc47a8e047a20: Add Debian 10 to metadata and travis matrix (authored by Michael Krause <krause@mpib-berlin.mpg.de>).Jan 6 2020, 5:26 PM