On Fri, Aug 3, 2018 at 8:08 PM, Alvaro Herrera <alvhe...@2ndquadrant.com> wrote: > On 2018-Aug-03, Adrien NAYRAT wrote: > >> On 08/03/2018 10:39 AM, Amit Kapila wrote: >> > Thanks. I have pushed those two patches. >> >> Thanks! > > I am marking this open item as closed. If that's wrong, let's hear why >
Thanks, it is not wrong. I initially thought I will close it after committing the pending patch which I just posted. However, it is okay as that is to address a somewhat related, but a different issue. -- With Regards, Amit Kapila. EnterpriseDB: http://www.enterprisedb.com