Bruce Momjian <br...@momjian.us> writes: > On Wed, Oct 24, 2018 at 04:01:29PM -0400, Robert Haas wrote: >>> This was complained of already, >>> https://www.postgresql.org/message-id/flat/3876.1531261875%40sss.pgh.pa.us
>> I guess you never followed up on that part, though. Any special >> reason for that, or just lack of round tuits? > Should this be added as a TODO item? Huh? We dealt with that a long time ago, cf 553d2ec27. regards, tom lane