Mon, 3 Jul 2023 15:10:41 +0200 Peter Krempa <pkrempa@xxxxxxxxxx>: > Could you explain why this is needed in the first place? Just to make it clear that attr can not be used in this environment because it is slightly older than expected. I missed the header of that file, sorry. Olaf
Attachment:
pgpxlpoi2VUmd.pgp
Description: Digitale Signatur von OpenPGP
