[galaxy-commits] commit/galaxy-central: greg: Add the ability to install the latest installable revision of a repository that is already installed into Galaxy via the installed repository's pop-up menu on the Manage installed Tool Shed repositories grid in Galaxy. This is a new grid operation that is available only for those repositories that have a revision upgrade available in the Tool Shed.