On Tue, Aug 02, 2005 at 10:05:53AM -0700, Richard Henderson wrote: > On Tue, Aug 02, 2005 at 08:32:53AM -0400, Diego Novillo wrote: > > Having said that, I sent rth a 4.0 patch for a similar bug that > > will "fix" this problem. Richard, have you applied it yet? > > No, I forgot about it. > That's fine. Just applied it.
