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!
Michael



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