[galaxy-dev] Pull request for Galaxy