Re: [galaxy-dev] next galaxy-dist update