>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> This is a refresh of the patch I erroneously sent to the main gdb list. I'm checking this in now. Tom