Hi Alexander, On Mon, 4 Dec 2023 at 07:22, Alexander Korotkov <aekorot...@gmail.com> wrote: > > > Now, I think this looks good. I'm going to push this if no objections.
After this commit, I began seeing an unexpected ERROR - see this bug-report. https://www.postgresql.org/message-id/18852-fb75b88160678f78%40postgresql.org - robins https://robins.in Ref: 1. https://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=824dbea3e41efa3b35094163c834988dea7eb139
