]> git.donarmstrong.com Git - samtools.git/commitdiff
Merge remote branch 'remotes/pd3master/master' into develop
authorPetr Danecek <pd3@sanger.ac.uk>
Thu, 15 Nov 2012 09:15:43 +0000 (09:15 +0000)
committerPetr Danecek <pd3@sanger.ac.uk>
Thu, 15 Nov 2012 09:15:43 +0000 (09:15 +0000)

Trivial merge