On 2017/07/18 16:20, Etsuro Fujita wrote:
> On 2017/07/18 11:03, Robert Haas wrote:
>> On Mon, Jul 10, 2017 at 5:44 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
>>> The posted patches look OK to me. Barring developments, I will commit
>>> them on 2017-07-17, or send another update by then.
>>
>> Committed them.
>
> Thank you!
Thank you both.
Regards,
Amit