Thanks Julien! I submitted the issue to bugs.freedesktop.org as you suggested. It got the bug number 47859 assigned:
https://bugs.freedesktop.org/show_bug.cgi?id=47859 Best regards, Philipp -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
