Fix committed via Debian:
mutter (3.32.0+git20190410-1) experimental; urgency=medium
** Changed in: mutter (Ubuntu Disco)
Status: Triaged => Fix Committed
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to mutter in Ubuntu.
https://bugs.launchpad.net/bugs/1803319
Title:
GNOME Shell task bar menus not updated with external monitor primary
and laptop screen fractionally scaled
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/1803319/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
