Re: [galaxy-dev] Recommended Hardware for Galaxy