On Fri, Aug 3, 2018 at 8:08 PM, Alvaro Herrera <alvherre@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