Subject: Re: safer git?

From: [email-masked]
Date: Sat, 24 Oct 2020 21:21:25 +0100

Sorry, I should have added: I'm using Ubuntu 18.04.5 (bionic) with
git version 2.17.1.

Hugo