Proposed package (https://launchpad.net/~gunnarhj/+archive/ubuntu/gnome-shell/+packages) on https://launchpad.net/~gunnarhj/+archive/ubuntu/gnome-shell fixes the bug.
Proposed package (https:/ /launchpad. net/~gunnarhj/ +archive/ ubuntu/ gnome-shell/ +packages) on https:/ /launchpad. net/~gunnarhj/ +archive/ ubuntu/ gnome-shell fixes the bug.