On Sat, Dec 9, 2023 at 12:16 PM Amit Kapila <amit.kapil...@gmail.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.