On Fri, Jun 24, 2022 at 2:09 AM Robert Haas <robertmh...@gmail.com> wrote: > > On Thu, Jun 23, 2022 at 2:13 AM Amit Kapila <amit.kapil...@gmail.com> wrote: > > The patch looks good to me as well. I will push this patch in HEAD (as > > per option (a)) tomorrow unless I see any more suggestions/comments. > > The example seems to demonstrate the point quite well but one thing > that I notice is that it is quite long. I don't really see an obvious > way of making it shorter without making it less clear, so perhaps > that's fine. >
Thanks for looking into it. Pushed! -- With Regards, Amit Kapila.
