On Sat, Aug 13, 2016 at 3:58 AM, Michael Catanzaro <mcatanz...@gnome.org> wrote: > I've done this once before (libgames-scores -> libgames-support) so I'm > really not keen on doing a rename again. That said, if you want to > submit a patch and do the work with the sysadmins to make the rename > happen, you have my permission; you can point them to this comment to > show that.
Patches submitted at https://bugzilla.gnome.org/769860 Thanks, Jeremy