Considering GNOME 3.12 as an F20 update

[Matthew Garrett]

On Thu, Apr 03, 2014 at 04:57:10PM +0200, Miloslav Trmač wrote:
> 2014-04-03 16:52 GMT+02:00 Matthew Garrett <mjg59 at srcf.ucam.org>:
> > Isn't this inevitable? If any extensions only claim to support 3.10 then
> > they'll stop working until updated.
> 
> One, at least theoretical, way to resolve this would be to update all
> extensions hosted at extensions.gnome.org to support 3.12.

Don't the extensions end up in the user's home directory? How can we 
forcibly update them?

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