Re: [galaxy-dev] Possible bug in managing tool shed repositories