Subject: Re: bug#19708: Bowtie fails to build

From: Mark H Weaver <[email-masked]>
Date: Fri, 30 Jan 2015 11:07:51 -0500

Fixed in 241e12219.  Thanks to Ricardo and Andreas for sorting this out!

     Mark