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

On Thu, Jan 18, 2018 at 8:10 AM, Jeremy Bicha <jbicha ubuntu com> wrote:
Thank you Michael. I'm told that I also need a second person from the
Release Team to approve my proposal.

Do you? It's been over a week without any objections, and this is not a controversial topic, so I think it's safe to do it!


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