15.01.2022 08:41, Thomas Munro wrote:
> On Mon, Jan 10, 2022 at 6:00 AM Alexander Lakhin <exclusion(at)gmail(dot)com> wrote:
>> You wouldn't mind if I file a separate bug report regarding the last
>> problem (not related to the initial bug report)?
>> Now I can propose a minimal reproduction for it, that can ease testing
>> and choosing the most appropriate fix.
> Thanks! Yeah, please go ahead.
Thank you! Done:
https://www.postgresql.org/message-id/17368-98a4f99e8e4b4402%40postgresql.org
Best regards,
Alexander