Re: [galaxy-user] upgrading my local galaxy install