[Merge] ~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic

Iain Lane iain at orangesquash.org.uk
Tue Jul 9 12:29:00 UTC 2019

Review: Disapprove

It's my understanding that this bug was fixed in the kernel, and so this patch for mutter isn't required. Let me know if that's not true.
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.

More information about the ubuntu-desktop mailing list