[galaxy-commits] [galaxyproject/galaxy] 338aae: Restore get_filename to galaxy.tools.verify:verify()