HomeSoftware Heritage

2022-09-16: apply suggestions from morane

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

Description

2022-09-16: apply suggestions from morane

Details

Provenance
vlorentzAuthored on Sep 15 2022, 3:00 PM
vlorentzPushed on Sep 15 2022, 3:00 PM
Parents
rMSLD6c8221082f61: 2022-09-16: aspell
Branches
Unknown
Tags
Unknown