Dear maintainers, this bug did not appear in the latest versions.
This bug can safely be closed. Thank you very much for your help and work! Best regards Hans-J. Ullrich -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
