Re: Renaming gnome-tweak-tool to gnome-tweaks?
- From: Olav Vitters <olav vitters nl>
- To: Michael Catanzaro <mcatanzaro posteo net>
- Cc: Jeremy Bicha <jbicha ubuntu com>, 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 22:12:46 +0000 (UTC)
On Thu, Jan 18, 2018 at 09:06:46AM -0600, Michael Catanzaro wrote:
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!
+1 in case needed.
Please announce to distributor-list mailing list.
--
Regards,
Olav
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
