Re: Renaming gnome-tweak-tool to gnome-tweaks?
- From: Michael Catanzaro <mcatanzaro posteo net>
- To: Jeremy Bicha <jbicha ubuntu com>
- Cc: Carlos Soriano <csoriano gnome org>, release-team gnome org, Andrea Veri <av gnome org>
- Subject: Re: Renaming gnome-tweak-tool to gnome-tweaks?
- Date: Thu, 18 Jan 2018 09:06:46 -0600
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]
