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
"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
The proposal to merge ~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into
~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic has been updated.
Status: Needs review => Work in progress
For more details, see:
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/369
/mutter:fix-lp1832138 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
the proposed merge of
~vanvugt/ubuntu/+source/mutter:fix-lp1832138 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
The fix is for bionic because the bug only exists in kernels older than 4.17.
--
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/369083
Your team Ubuntu Desktop is requested to review the proposed merge of
~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into
~ubuntu
/+source/mutter:fix-lp1832138 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
see:
https://code.launchpad.net/~vanvugt/ubuntu/+source/mutter/+git/mutter/+merge/369083
--
Your team Ubuntu Desktop is requested to review the proposed merge of
~vanvugt/ubuntu/+source/mutter:fix-lp1832138 into
~ubuntu-desktop/ubuntu/+source/mutter:ubuntu/bionic.
diff --git a/debian/changelo