>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> So here's v4. WDTY? It looks good to me and I've had good experiences with it in some patches I have locally. Tom