Re: [galaxy-dev] Upgrade to Galaxy 16.07, import dumps problem