Re: [Merge] ~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic

2019-07-11 Thread Iain Lane
On Wed, Jul 10, 2019 at 01:36:05AM -, Daniel van Vugt wrote:
> "was fixed" is partially correct.

Thanks for correcting me.

-- 
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/369083
Your team Ubuntu Desktop is subscribed to branch 
~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.

-- 
ubuntu-desktop mailing list
ubuntu-desktop@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop


Re: [Merge] ~3v1n0/ubuntu/+source/mutter:ubuntu/bionic into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic

2019-07-11 Thread Iain Lane
Done, thanks! I think we should probably think about doing a snapshot next 
time, this is a lot of cherry-picks already.
-- 
https://code.launchpad.net/~3v1n0/ubuntu/+source/mutter/+git/mutter/+merge/369334
Your team Ubuntu Desktop is requested to review the proposed merge of 
~3v1n0/ubuntu/+source/mutter:ubuntu/bionic into 
~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.

-- 
ubuntu-desktop mailing list
ubuntu-desktop@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop


Re: [Merge] ~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into ~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic

2019-07-11 Thread Daniel van Vugt
"was fixed" is partially correct. The fix has been proposed to the bionic 
kernel but is not yet Fix Released. My plan was to delete this MP as soon as 
the kernel fix is released proper.
-- 
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/369083
Your team Ubuntu Desktop is subscribed to branch 
~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.

-- 
ubuntu-desktop mailing list
ubuntu-desktop@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-desktop


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

2019-07-11 Thread Iain Lane
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 -, 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