... at https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=c6344d7686f3e3c8243c2c6771996cfc63e71eae
This is a bit earlier than usual because I will be tied up with
$LIFE for the next couple of days. I will catch up with any
subsequent back-branch commits over the weekend.
As usual, please send comments/corrections by Sunday.
regards, tom lane
