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

[Jeremy Bicha <jbicha ubuntu com>]

On Wed, Jan 10, 2018 at 10:47 AM,  <mcatanzaro gnome org> wrote:
> On Wed, Jan 10, 2018 at 8:25 AM, Jeremy Bicha <jbicha ubuntu com> 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

Thank you Michael. I'm told that I also need a second person from the
Release Team to approve my proposal.

Thanks,
Jeremy Bicha