HomeSoftware Heritage

Fix mypy error

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Fix mypy error

Details

Provenance
vlorentzAuthored on Jul 19 2022, 1:09 PM
vlorentzPushed on Jul 19 2022, 5:10 PM
Differential Revision
D8133: Fix mypy error
Build Status
Buildable 30461
Build 47622: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.