Hi all,
this is a friendly reminder about the following:
* GNOME 3.21.92 rc tarballs due
* Hard Code Freeze
If you are not able to make a tarball before this deadline or if you
think you'll be late,
please get in touch with the release team and we'll find someone to
roll the tarball for you!
On Mon, Sep 12, 2016 at 11:46 AM, Michael Catanzaro
wrote:
> On Tue, 2016-08-30 at 12:48 +0200, audio fan wrote:
>> I sit here with unnecessarily gigantic icons
>
> nautilus does have a setting to fix this! I turn it down one notch.
Ubuntu 16.10 Beta currently turns it down
On Tue, 2016-08-30 at 12:48 +0200, audio fan wrote:
> I sit here with unnecessarily gigantic icons
nautilus does have a setting to fix this! I turn it down one notch.
Michael
___
desktop-devel-list mailing list
desktop-devel-list@gnome.org
ons 2016-07-13 klockan 07:16 +0200 skrev Jonas Danielsson:
> Hi!
>
> As of recently GNOME Maps can no longer fetch tiles to display. This
> is because MapQuest,
> which we use as a tile provider, changed its usage policy[1].
> And we are no longer able to use the service without paying. We have
>
Hey,
On Fri, Aug 26, 2016 at 11:21:05AM -0500, Michael Catanzaro wrote:
> On Fri, 2016-08-26 at 11:48 -0400, Shaun McCance wrote:
> > IIRC, git.gnome.org won't let you push an unsigned tag.
>
> I've been doing it for a while, so it most certainly does! I don't see
> value in signing our tags as
On 26 August 2016 08:05:24 BST, Alexander Larsson wrote:
>On tor, 2016-08-25 at 17:12 +0100, Alberto Ruiz wrote:
>>
>>
>> 2016-08-25 16:29 GMT+01:00 Alexander Larsson :
>> > After some work I now have the gnome runtimes and applications
>> > building again,
On 2016-08-30 12:48, audio fan wrote:
As a rather simple user, I want to be in charge of what my screen looks
like and I most certainly want to be able to personalise the whole
thing. These to me are the spirit and essence of linux.
I would recommend you to check out
Dear gnome developers,
Dear gnome team
I have been a happy and most contented user of gnome for many years by
now. I am, however, wondering and a little startled to find that
personalisation seem to play an ever lesser role of the gnome desktop gui.
I sit here with unnecessarily gigantic icons