Mike Russo Thu, 09 Nov 2017 06:21:51 -0800
filed upstream bug against gnome-shell: https://bugzilla.gnome.org/show_bug.cgi?id=789858
