HomeSoftware Heritage

Add a wrapper to manage a sorted list.

Description

Add a wrapper to manage a sorted list.

For now this is only used by sorted_sha1, but we'll need it for
origin_metadata soon.

Details

Provenance
vlorentzAuthored on Mar 24 2020, 5:22 PM
vlorentzPushed on Apr 23 2020, 1:03 PM
Differential Revision
D2987: Add a wrapper to manage a sorted list.
Parents
rDSTObca643acabbd: setup: Update the minimum required runtime python3 version
Branches
Unknown
Tags
Unknown
Build Status
Buildable 12000
Build 18197: test-and-buildJenkins console · Jenkins