I just want to keep my system clean. I don't have ubuntu-desktop and lots of standard packages and noticed these Mir-related packages but was unable to remove them. Not a big deal in general, but still a number of packages that will never be used.
Also installation ISO contains these packages and everyone downloads something that will not be used in most if not all desktop setups. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1701747 Title: Remove hard dependencies on libmir* in relevant packages To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gtk+3.0/+bug/1701747/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
