Re: [galaxy-user] Problem with new tool shed