A Friday 21 March 2008 15:54:37, Daniel Jacobowitz wrote:
>
> This is OK to commit now.  I'm sure we'll shake some more bugs out of
> it in the next few weeks :-)

Thanks!  I'm sure we will.  :-)

This is what I checked in after another round of testing
on x86_64-unknown-linux-gnu.

-- 
Pedro Alves