Re: [galaxy-user] Galaxy available disk space bug