From: Petr Danecek Date: Mon, 28 Jan 2013 09:07:23 +0000 (+0000) Subject: Merge remote branch 'remotes/pierre/master' into develop X-Git-Url: https://git.donarmstrong.com/?p=samtools.git;a=commitdiff_plain;h=607d7a0ab79152be4153fa09861cfa889488f2c7 Merge remote branch 'remotes/pierre/master' into develop --- 607d7a0ab79152be4153fa09861cfa889488f2c7