>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> Thanks. This is all fine with me, except the testsuite bit Pedro> which I sent a separate comment for. Thanks. I'm checking this in now. Tom