On Thu, Apr 03, 2014 at 11:22:41AM -0400, Matthew Miller wrote:
I've had a pretty good experience here this time around. Almost
everything
worked when I told it to not do the check, and others were updated. Also,
when I look at
https://extensions.gnome.org/ sorted by popularity, _most_ of
the top ones are already updated. I'd like to see an effort to get the
remaining few that are on the top N pages updated, and then I'd be pretty
comfortable recommending this as an F20 update.
But actually updating the ones that don't work is a manual process on
the part of the user, right?
--
Matthew Garrett | mjg59(a)srcf.ucam.org