Looks like this was fixed upstream (https://bugs.freedesktop.org/show_bug.cgi?id=76574 was marked as a duplicate of https://bugs.freedesktop.org/show_bug.cgi?id=77207 which was fixed)
Looks like this was fixed upstream (https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 76574 was marked as a duplicate of https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 77207 which was fixed)