Re: Renaming gnome-tweak-tool to gnome-tweaks?
- From: mcatanzaro gnome org
- To: Jeremy Bicha <jbicha ubuntu com>
- Cc: release-team gnome org, Carlos Soriano <csoriano gnome org>, Andrea Veri <av gnome org>
- Subject: Re: Renaming gnome-tweak-tool to gnome-tweaks?
- Date: Wed, 10 Jan 2018 09:47:52 -0600
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.
Michael
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
