Alvaro Herrera <alvhe...@2ndquadrant.com> writes: > ... oh look! commit 3f60f690fac1 moved last_recv_timestamp without > realizing that ping_sent had to get the same treatment.
Hah, I wondered if something like that had happened, but I didn't
get around to excavating in the git history yet. Thanks for doing so.
Will push a fix later.
regards, tom lane
