On 2018/10/09 0:38, Tom Lane wrote: > I wrote: >> Keeping that comparison in mind, I'm inclined to think that 0001 >> is the best thing to do for now. The incremental win from 0002 >> is not big enough to justify the API break it creates, while your >> 0005 is not really attacking the problem the right way. > > I've pushed 0001 now. I believe that closes out all the patches > discussed in this thread, so I've marked the CF entry committed. > Thanks for all the hard work!
Thanks a lot for reviewing and committing. Regards, Amit