On Sat, May 25, 2019 at 4:23 PM Alexander Lakhin <exclus...@gmail.com> wrote: > > Hello Amit, > > 25.05.2019 13:42, Amit Kapila wrote: > > I think it is good to fix these. I haven't verified all but I can > > review them. Isn't it better to fix them as one patch instead of > > multiple patches? > > If a single patch is more convenient, then here it is. > I thought that separate patches would be more handy in case of any doubts. >
I have taken one pass over it and all fixes seem to be correct and got introduced in v12. I will re-verify them once again and then commit your patch if I don't found any problem. In the meantime, if anyone else wants to look at it, that would be great. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com
