HomeSoftware Heritage

2022-09-16: a few more

This commit has been deleted in the repository: it is no longer reachable from any branch, tag, or ref.

Description

2022-09-16: a few more

Details

Provenance
vlorentzAuthored on Sep 15 2022, 3:04 PM
vlorentzPushed on Sep 15 2022, 3:04 PM
Parents
rMSLD9d7809e98af6: 2022-09-16: apply suggestions from morane
Branches
Unknown
Tags
Unknown