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

[Daniel van Vugt]

Yes I mentioned 2 days ago I was hesitant to create this merge proposal because Marco would usually do that :)
-- 
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/374507
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master.