On Mon, Dec 03, 2007 at 02:41:07PM +0100, Pierre Muller wrote: > > Sorry, I should have remembered that. Does this patch work? > > Yes, this fixes the compilation problem for mingw32, thanks. > I did not have the time to test the produced executable... Thanks. I finally checked it in. -- Daniel Jacobowitz CodeSourcery