http://bazaar.launchpad.net/~ubuntu-gnome-dev/ubuntu-gnome-default- settings/ubuntu/view/head:/debian/ubuntu-gnome-default-settings .gsettings-override
** Package changed: mutter (Ubuntu) => ubuntu-gnome-default-settings (Ubuntu) -- 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/1704580 Title: mouse-button-modifier should default to Super To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-gnome-default-settings/+bug/1704580/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
