... BTW, shouldn't https://commitfest.postgresql.org/42/3869/ now get closed as committed?
regards, tom lane
... BTW, shouldn't https://commitfest.postgresql.org/42/3869/ now get closed as committed?
regards, tom lane