Thank you for your bug report, the little space disk difference is not worth the packaging work though we will not work on a such change
** Changed in: gnome-games (Ubuntu) Importance: Undecided => Wishlist ** Changed in: gnome-games (Ubuntu) Status: New => Invalid ** Changed in: gnome-games (Ubuntu) Assignee: (unassigned) => Ubuntu Desktop Bugs (desktop-bugs) -- split gnome-games debian pacakge to many packages https://bugs.launchpad.net/bugs/376744 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is a bug assignee. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs