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

Marco Trevisan (TreviƱo) mail at 3v1n0.net
Thu Oct 24 02:01:00 UTC 2019

Sorry, I should have had replied to the comment on IRC but I think I read it when you were already off.

Anyways, we'll get more fixes all together :)
Your team Ubuntu Desktop is subscribed to branch ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master.

More information about the ubuntu-desktop mailing list