Alvaro Herrera <alvherre@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