the upstream bug was marked a duplicate of https://bugs.freedesktop.org/show_bug.cgi?id=14883, which has been marked as fixed for a year now...
the upstream bug was marked a duplicate of https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 14883, which has been marked as fixed for a year now...