>>> "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. -- Alexandre Duret-Lutz Shared books are happy books. http://www.bookcrossing.com/friend/gadl
