Am 12.02.2021 um 14:31 teilte Helmut Grohne mit: Hi,
Please consider applying the attached patch.
Fixed in our repository. Hilmar -- sigfault
Attachment: OpenPGP_signature Description: OpenPGP digital signature