On 2017/07/18 11:03, Robert Haas wrote:
> On Mon, Jul 10, 2017 at 5:44 PM, Robert Haas <robertmhaas@gmail.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!
Best regards,
Etsuro Fujita