Regarding the following, written by "Jeff" on 2022-12-19 at 09:26 Uhr +0000:
Yup. This patch fixes things:
Thank you! -- .''`. martin f. krafft <madduck@d.o> @martinkrafft : :' : proud Debian developer `. `'` http://people.debian.org/~madduck `- Debian - when you have better things to do than fixing systemsmay the bluebird of happiness twiddle your bits.
digital_signature_gpg.asc
Description: Digital GPG signature (see http://martin-krafft.net/gpg/sig-policy/999bbcc4/current)
