On Thu, Apr 3, 2014 at 7:29 PM, Matthew Miller <mattdm@xxxxxxxxxxxxxxxxx> wrote: > On Thu, Apr 03, 2014 at 08:18:24PM +0300, alex diavatis wrote: >> > https://extensions.gnome.org/extension/797/extension-update-notifier/ >> Pretty cool, it works here. It is so cool that it should be included in >> Shell by default :) > > Awesome. I've installed it and will back a few of my extensions to older > versions to see what happens. > > if not included in the shell by default, It cannot really be part of the shell now not before 3.14 > we could package it and ship it with the update to F20, right? If that's the only thing that blocks the 3.12 update we should consider that. -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
