I'll be uploading 3.33.4 once it's released next week. Ideally I'll just have to do one upload, so this fix can be incorporated into that same release. Double ideally it'll be in the upstream part of that upload, if Marco stops nit-picking and presses merge at some point soon. :-)
Close this MP if it gets merged upstream. If it doesn't, I'll look to merge it when the time comes. On Fri, Jul 05, 2019 at 03:31:03AM -0000, Daniel van Vugt wrote: > There are now stylistic changes being made upstream. Nothing of substance > though so I probably wouldn't bother reflecting them here. This merge > proposal exists to avoid being blocked waiting for upstream. If we are now > waiting for upstream then I would more likely close this and just wait for > the upstream fix to land via mutter 3.33/3.34 into eoan. > -- > https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/368536 > Your team Ubuntu Desktop is requested to review the proposed merge of > ~vanvugt/ubuntu/+source/mutter:fix-1809407-eoan into > ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master. > > -- > ubuntu-desktop mailing list > ubuntu-desktop@lists.ubuntu.com > https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop -- Iain Lane [ i...@orangesquash.org.uk ] Debian Developer [ la...@debian.org ] Ubuntu Developer [ la...@ubuntu.com ] https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/368536 Your team Ubuntu Desktop is requested to review the proposed merge of ~vanvugt/ubuntu/+source/mutter:fix-1809407-eoan into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/master. -- ubuntu-desktop mailing list ubuntu-desktop@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop
