On Sat, Dec 9, 2023 at 12:16 PM Amit Kapila <amit(dot)kapila16(at)gmail(dot)com> wrote:
>
> Thanks, I could also reproduce the issue on back branches (tried till
> 12), and the fix works. I'll push this on Monday.
>
Peter sent one minor suggestion (to write the check differently for
easier understanding) offlist which I addressed and pushed the patch.
--
With Regards,
Amit Kapila.