>>>>> "Andrew" == Andrew Haley <aph@redhat.com> writes: Andrew> Tom Tromey, I'd appreciate it if you'd have a quick check of this one. Yeah, this looks good to me. Tom