On Fri, Oct 27, 2023 at 10:32 PM Tomas Vondra
<tomas.vondra@enterprisedb.com> wrote:
>
> FWIW I've cleaned up and pushed all the patches we came up with this
> thread. And I've backpatched all of them to 14+.
>
Thanks a lot Tomas.
--
Best Wishes,
Ashutosh Bapat