Re: [galaxy-user] Should I hg update a Galaxy Cloud ?