Re: g-s-t rename to gnome-themes-extra



On Thu, Jan 18, 2018 at 11:05 AM, Juraj Fiala <jurf riseup net> wrote:
And so, I ask of your permission.

+1, this name change is overdue if anything.

Michael



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