Re: [galaxy-user] does Galaxy record tool versions?