HomeSoftware Heritage

Fix merge_documents to work with input document with an @id.

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

Description

Fix merge_documents to work with input document with an @id.

Details

Provenance
vlorentzAuthored on Jan 7 2020, 6:27 PM
vlorentzPushed on Jan 9 2020, 3:35 PM
Differential Revision
D2504: Fix merge_documents to work with input document with an @id.
Build Status
Buildable 10022
Build 14822: test-and-buildJenkins

Commit No Longer Exists

This commit no longer exists in the repository.