Found the fix hiding in gnome-shell_3.28.3+git20190124.orig.tar.xz
So it's already in bionic-proposed:
https://launchpad.net/ubuntu/+source/gnome-shell/3.28.3+git20190124-0ubuntu18.04.1
Found the fix hiding in gnome-shell_ 3.28.3+ git20190124. orig.tar. xz
So it's already in bionic-proposed:
https:/ /launchpad. net/ubuntu/ +source/ gnome-shell/ 3.28.3+ git20190124- 0ubuntu18. 04.1