[Merge] ~vanvugt/ubuntu/+source/mutter:fix-lp1847551 into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master

Iain Lane iain at orangesquash.org.uk
Wed Oct 23 11:13:44 UTC 2019

Review: Disapprove

Thanks, but since Marco (probably prompted by discussing this bug, so it wasn't wasted) proposed taking the whole gnome-3-34 branch up until yesterday, which will include this same fix we won't need a separate upload. 
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master.

More information about the ubuntu-desktop mailing list