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.
-- ubuntu-desktop mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop
