HomeSoftware Heritage

Fix inconsistent mapping name

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

Description

Fix inconsistent mapping name

intrinsic mappings use the short name, instead of the class name.

Details

Provenance
vlorentzAuthored on Jul 21 2022, 11:28 AM
vlorentzPushed on Jul 21 2022, 11:54 AM
Differential Revision
D8148: Fix inconsistent mapping name
Build Status
Buildable 30505
Build 47693: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.