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, we could package it and ship it with the update to F20, right? -- Matthew Miller -- Fedora Project -- <mattdm@xxxxxxxxxxxxxxxxx> "Tepid change for the somewhat better!" -- desktop mailing list desktop@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/desktop
