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.

Reply via email to