Control: tags -1 + pending
Am 19.10.2020 um 05:37 teilte Helmut Grohne mit: Hi Helmut,
So please consider applying the attached patch as an incremental improvement and close this bug when doing so.
I applied the patch top the repo, hence I tag the bug pending. Hilmar -- sigfault
OpenPGP_signature
Description: OpenPGP digital signature
