* Alexandre Duret-Lutz wrote on Thu, Apr 20, 2006 at 06:14:39AM CEST: > >>> "RW" == Ralf Wildenhues <[EMAIL PROTECTED]> writes: > > RW> OK to apply this patch to fix this in the spirit of Paul's suggestion, > RW> and amend the dejagnu4.test to expose the failure? > > Yes please ! Thanks.
Done. Thanks for the review! Cheers, Ralf
