>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes: Pedro> That line was added in 4.17: Thanks for the archaeology. Pedro> Looks right to me. I'll check it in shortly. Tom