Hi, why was this bug closed without specifying any reasons? The problem is still there and I can’t see a commit on git.freedesktop.org or an update in the debian package.
I assume this was a mistake and will reopen this one tomorrow. Best regards, Michael -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
