HomeSoftware Heritage

Remove not sound default

Description

Remove not sound default

+ Remove unused import

Details

Provenance
ardumontAuthored on Oct 27 2016, 4:32 PM
ardumontPushed on Oct 27 2016, 4:33 PM
Parents
rDSNIP5203c9e24fb8: Read and send the 1000 stars repositories to queue
Branches
Unknown
Tags
Unknown