Re: [galaxy-dev] Bug report for uploading tool updates to Tool Shed