[galaxy-dev] The Galaxy release 18.05 is out