Re: [galaxy-dev] Pull request for Galaxy