>>>>> "Tom" == Tom Tromey <tromey@redhat.com> writes: Tom> Here's the patch. It looks big because I had to reindent a loop. Tom> I plan to commit this early next week, barring objections or comments. I've checked this in. Tom