Page MenuHomeSoftware Heritage

Rename SwhId to SwhPID
ClosedPublic

Authored by haltode on Aug 12 2019, 10:53 AM.

Details

Summary

More consistent with the documentation and the rest of the code.

Diff Detail

Repository
rDGRPH Compressed graph representation
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.

Event Timeline

This revision was not accepted when it landed; it landed in state Needs Review.Aug 12 2019, 11:52 AM
This revision was landed with ongoing or failed builds.
This revision was automatically updated to reflect the committed changes.