Re: [galaxy-user] question about samtools in Galaxy