Bruce Momjian <[email protected]> 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
