On 2022-Jan-18, Amit Langote wrote: > Would you like me to update the patch with the above renumbering or > are you working on a new version yourself?
I have a few very minor changes apart from that. Let me see if I can get this pushed soon; if I'm unable to (there are parts I don't fully grok yet), I'll post what I have. Thank you! -- Álvaro Herrera PostgreSQL Developer — https://www.EnterpriseDB.com/