On Fri, Aug 15, 2008 at 08:19:15PM +0100, Pedro Alves wrote: > Please find attached a new patch. This one's much simpler. I like this one better, too. Thanks, this is OK. -- Daniel Jacobowitz CodeSourcery