Re: Renaming gnome-tweak-tool to gnome-tweaks?

On Wed, Jan 10, 2018 at 8:25 AM, Jeremy Bicha wrote: Andrea wanted to make sure that the Release Team was ok with this renaming, so I'm emailing here. Seems fine to me. I trust you'll take care of whatever breaks as a result. Michael

Renaming gnome-tweak-tool to gnome-tweaks?

Hi, In GNOME 3.26, we renamed the user-visible name for GNOME Tweak Tool to GNOME Tweaks. I figured the switch to GitLab was a good time to change the module name, binary name, icon name, etc. Andrea wanted to make sure that the Release Team was ok with this renaming, so I'm emailing here. I