Considering GNOME 3.12 as an F20 update

[Matthew Garrett]

On Thu, Apr 03, 2014 at 11:11:58AM -0400, Stephen Gallagher wrote:

> One option we could look into would be for GNOME to set this option on
> by default for a month or so to give extension authors time to catch
> up while not breaking any user extension that works unmodified.

My understanding was that there was no mechanism for automatically 
updating extensions at present.

-- 
Matthew Garrett | mjg59 at srcf.ucam.org