Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [cdt-patch] Search Bug fixes

> 
> --=_mixed 007084F685256DCD_=
> Content-Type: text/plain; charset="US-ASCII"
> 
> This is meant for the HEAD, but could be applied to 1.2 if desired.
> 

We desire.




Back to the top