[galaxy-dev] Galaxy installation with mysql database