The proposal to merge ~3v1n0/ubuntu/+source/gnome-shell:ubuntu/master into ~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/master has been updated.
Description changed to: upstream/latest needs to be pulled from my repo or latest salsa Needs latest mutter (from salsa), as we'll use debian version. Bionic branch for mutter is at: https://code.launchpad.net/~canonical-desktop-team/ubuntu/+source/mutter/+git/mutter We need also to update dash-to-dock to include this: https://github.com/micheleg/dash-to-dock/pull/770 Although I wanted to refactor it not to fork, then let me know if you prefer with a distro patch of the package for now and then just upgrade the extension too (once that is merged) For more details, see: https://code.launchpad.net/~3v1n0/ubuntu/+source/gnome-shell/+git/gnome-shell/+merge/351445 -- Your team Ubuntu Desktop is requested to review the proposed merge of ~3v1n0/ubuntu/+source/gnome-shell:ubuntu/master into ~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/master. -- ubuntu-desktop mailing list ubuntu-desktop@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop