Re: [galaxy-dev] which galaxy version is on the AMI?