[Merge] ~3v1n0/ubuntu/+source/gnome-shell:ubuntu/master into ~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/master

[Marco Trevisan (Treviño)]

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.