On Fri, Jun 03, 2016 at 10:50:04AM -0500, Michael Catanzaro wrote: > I talked with Adrien and he doesn't want to change the name... so GNOME > Games it will continue to be. So there's probably not much point to > continued discussion here. > > I realize this is inconvenient for Debian and other distros that might > need to pick a different source package name, but the original upstream > gnome-games module was removed in GNOME 3.8, so it's been three years > from an upstream perspective and we're fine with reusing the name at > this point.
Then the gnome-games project can recommend to distros to use another name for the package, so that it has more chances that it'll be the same name on all distros. -- Sébastien _______________________________________________ desktop-devel-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/desktop-devel-list
