Re: [galaxy-dev] Updating tools on new hg based Galaxy Tool Shed