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

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.


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

Jeremy Bicha

[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]