[galaxy-commits] galaxy-dist commit 84880085415b: Add the ratmine datasource tool to main's tool config.