Nevermind, I was affected by this bug instead: https://bugs.launchpad.net/ubuntu/+source/gnome-desktop/+bug/236778. Sorry for the confusion!
Nevermind, I was affected by this bug instead: https:/ /bugs.launchpad .net/ubuntu/ +source/ gnome-desktop/ +bug/236778. Sorry for the confusion!