I just opened the corresponding upstream bug here:
https://bugzilla.gnome.org/show_bug.cgi?id=756857
** Bug watch added: GNOME Bug Tracker #756857
https://bugzilla.gnome.org/show_bug.cgi?id=756857
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which i
Thank you for taking the time to report this bug and helping to make
Ubuntu better. The issue you are reporting is an upstream one and it
would be nice if somebody having it could send the bug to the developers
of the software by following the instructions at
https://wiki.ubuntu.com/Bugs/Upstream/G
