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

[Iain Lane]

On Wed, Jul 10, 2019 at 01:36:05AM -0000, Daniel van Vugt wrote:
> "was fixed" is partially correct.

Thanks for correcting me.

-- 
Iain Lane                                  [ iain at orangesquash.org.uk ]
Debian Developer                                   [ laney at debian.org ]
Ubuntu Developer                                   [ laney at ubuntu.com ]

https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/369083
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.