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

[Iain Lane]

Review: Approve

Thanks, will merge and upload.

==============================

Feedback: it'd be helpful to keep debian/changelog entries separate from the functional change. In this case the 18.04.3 version number is not yet burned because the upload isn't accepted. I'm going to replace it in the queue - if I could just take the functional change and run `gbp dch' myself that'd be easier. (I've reverted ebdff17eb876e7e95aad847dc89d32e510b5f10b locally.)
-- 
https://code.launchpad.net/~3v1n0/ubuntu/+source/gnome-shell/+git/gnome-shell/+merge/367149
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/gnome-shell:ubuntu/bionic.