Bruce Momjian <bruce@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