HomeSoftware Heritage

DumpProperties: fix output for tag names

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

Description

DumpProperties: fix output for tag names

Details

Provenance
seirlAuthored on Jun 30 2022, 5:17 PM
seirlPushed on Jun 30 2022, 5:18 PM
Build Status
Buildable 30180
Build 47170: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.