On 2017/11/29 4:16, Robert Haas wrote:
> On Thu, Nov 23, 2017 at 5:41 AM, Rushabh Lathia
> <rushabh(dot)lathia(at)gmail(dot)com> wrote:
>>> Good point. Updated patch attached.
>>
>> Thanks Amit.
>>
>> Patch looks good to me.
>
> Committed, except I left out the comment tweak, which seemed irrelevant.
Thank you.
Regards,
Amit