I filed a corresponding bug at freedesktop: https://bugs.freedesktop.org/show_bug.cgi?id=15362
(I hope that it is right, or should I have filed it in GNOME instead of freedesktop?
I filed a corresponding bug at freedesktop: /bugs.freedeskt op.org/ show_bug. cgi?id= 15362
https:/
(I hope that it is right, or should I have filed it in GNOME instead of freedesktop?