Re: [galaxy-dev] minimum AWS resources for TopHat?