Ubuntu
gnome-shell package

  1. Bug #1772677
  2. Comment #70

Comment 70 for bug 1772677

Revision history for this message
Daniel van Vugt (vanvugt) wrote :

You can download the .deb files containing the proposed fix for 18.04 from here:

https://launchpad.net/ubuntu/+source/gnome-shell/3.28.3+git20190124-0ubuntu18.04.1/+build/16422548