On 2021-Nov-30, Simon Riggs wrote: > On Fri, 12 Nov 2021 at 17:39, Tomas Vondra > <tomas.von...@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/