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 debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
