[galaxy-dev] Release of Galaxy 17.05