> Should we remove the ppa after the official packages are released? When a higher official version number is available from the archive, your system should automatically start using that. So this particular PPA is harmless to keep active but that's not true for all PPAs.
You should still remove the PPA when you no longer need it because it will raise some annoying flags from bots if you try to report new Ubuntu bugs while using a PPA. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/2059847 Title: Input lag or freezes on Nvidia desktops with X11 To manage notifications about this bug go to: https://bugs.launchpad.net/mutter/+bug/2059847/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs