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

[Daniel van Vugt]

Review: Needs Fixing

Although... Listing things we didn't change is very confusing. Maybe don't do that:

changelog:

+gnome-shell (3.32.0+git20190410-1ubuntu1) disco; urgency=medium
+
+  * Merging with debian git snapshot (LP: #1820775, LP: #1818790),
+    remaining changes:
...
     + all of these
...
-- 
https://code.launchpad.net/~3v1n0/ubuntu/+source/gnome-shell/+git/gnome-shell/+merge/365834
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.