On 07/23/2010 10:21 AM, Tom Tromey wrote: >>>>>> "Keith" == Keith Seitz<keiths@redhat.com> writes: > > Yes. Thanks for finding and fixing this. I have committed this. Thank you for reviewing it, Tom. Keith