>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Tom> This should probably not go in until after Pedro's "new" patch. Pedro> Does that patch look OK to you? I read it just now and I think it looks fine. Tom