On 2021-Nov-30, Simon Riggs wrote:
> On Fri, 12 Nov 2021 at 17:39, Tomas Vondra
> <tomas.vondra@enterprisedb.com> wrote:
>
> > So +1 to just get this committed, as it is.
>
> This is a real issue affecting Postgres users. Please commit this soon.
Uh ouch, I had forgotten that this patch was mine (blush). Thanks for
the ping, I pushed it yesterday. I added a comment.
--
Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/