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
No problem. This was only 10-15 minutes work.
--
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.
--
ubuntu-desktop mailing list
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.
--
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 :)
--
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/374507
Your team Ubuntu Desktop is subscribed to branch
