Hi Andreas, On 15-04-2021 16:01, Andreas Tille wrote: > I'm fine with all your corrections (and updated Git accordingly). pushed, thanks. Paul
Attachment: OpenPGP_signature Description: OpenPGP digital signature