On 09/18/2009 02:38 PM, Tom Tromey wrote: > Therefore, this patch is ok. Ok, I have checked this in. Thank you, Doug and Tom, for reviewing this. Keith