I am sorry, but the bug is not fixed. The bug now occurs very rarely (I would estimate 1:20 -> 20 times normal, 1 times not working). So the dist-upgrade has improved the situation, but not solved.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1878906 Title: copy/paste (clipboard) is broken in Ubuntu 18.04 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1878906/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
