HomeSoftware Heritage

indexer: Fix FIXME about names

This commit no longer exists in the repository. It may have been part of a branch which was deleted.This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

indexer: Fix FIXME about names

Details

Provenance
ardumontAuthored on Nov 30 2018, 2:18 PM
ardumontPushed on Nov 30 2018, 5:09 PM
Differential Revision
D757: Fix fixmes

Commit No Longer Exists

This commit no longer exists in the repository.