ould be quite
thankful for pointers to what this could be.
Thanks in advance
ch3
bin9nUMNq4r5h.bin
Description: PGP Key 0x494E1084E37E08C8F539C0C1FA15A4D6BF109DF5.
signature.asc
Description: PGP signature
Thanks to Christians suggestion, here's what helped:
Manually `chown`ing the file in question (and a couple of rounds of
`make clean` and `make uninstalling` for the feeling of more cleanness).
Cheers,
ch3
On Tue, Jul 09, 2024 at 16:31:09 +0200, ch3 wrote:
> Dear list,
>
> I&#x
st mark it as finished?
Thanks in advance,
ch3
binpzoP_x1Tez.bin
Description: PGP Key 0x494E1084E37E08C8F539C0C1FA15A4D6BF109DF5.
signature.asc
Description: PGP signature
