Re: [galaxy-dev] galaxy config from 17.05 to 18.05